H-Termination proof of /home/matraf/haskell/eval_FullyBlown

YES 1.573 H-Termination proof of /home/matraf/haskell/eval_FullyBlown_Fast/empty.hs
H-Termination of the given Haskell-Program with start terms could successfully be proven:

↳ HASKELL

  ↳ LR

mainModule Main

((range :: (Ordering,Ordering) -> [Ordering]) :: (Ordering,Ordering) -> [Ordering])

module Main where

import qualified Prelude

Lambda Reductions:
The following Lambda expression

\z→if y >= z && z >= x then z : [] else []

is transformed to

range0 y x z = if y >= z && z >= x then z : [] else []

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

mainModule Main

((range :: (Ordering,Ordering) -> [Ordering]) :: (Ordering,Ordering) -> [Ordering])

module Main where

import qualified Prelude

If Reductions:
The following If expression

if y >= z && z >= x then z : [] else []

is transformed to

range00 z True = z : []

range00 z False = []

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

mainModule Main

((range :: (Ordering,Ordering) -> [Ordering]) :: (Ordering,Ordering) -> [Ordering])

module Main where

import qualified Prelude

Replaced joker patterns by fresh variables and removed binding patterns.

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

mainModule Main

((range :: (Ordering,Ordering) -> [Ordering]) :: (Ordering,Ordering) -> [Ordering])

module Main where

import qualified Prelude

Cond Reductions:
The following Function with conditions

compare x y

| x == y

= EQ

| x <= y

= LT

| otherwise

= GT

is transformed to

compare x y = compare3 x y

compare2 x y True = EQ

compare2 x y False = compare1 x y (x <= y)

compare1 x y True = LT

compare1 x y False = compare0 x y otherwise

compare0 x y True = GT

compare3 x y = compare2 x y (x == y)

The following Function with conditions

undefined

| False

= undefined

is transformed to

undefined = undefined1

undefined0 True = undefined

undefined1 = undefined0 False

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ Narrow

mainModule Main

(range :: (Ordering,Ordering) -> [Ordering])

module Main where

import qualified Prelude

Haskell To QDPs

digraph dp_graph {
node [outthreshold=100, inthreshold=100];1[label="range",fontsize=16,color="grey",shape="box"];1 -> 3[label="",style="dashed", color="grey", weight=3];
3[label="range vx3",fontsize=16,color="burlywood",shape="triangle"];537[label="vx3/(vx30,vx31)",fontsize=10,color="white",style="solid",shape="box"];3 -> 537[label="",style="solid", color="burlywood", weight=9];
537 -> 4[label="",style="solid", color="burlywood", weight=3];
4[label="range (vx30,vx31)",fontsize=16,color="black",shape="box"];4 -> 5[label="",style="solid", color="black", weight=3];
5[label="concatMap (range0 vx31 vx30) (LT : EQ : GT : [])",fontsize=16,color="black",shape="box"];5 -> 6[label="",style="solid", color="black", weight=3];
6[label="concat . map (range0 vx31 vx30)",fontsize=16,color="black",shape="box"];6 -> 7[label="",style="solid", color="black", weight=3];
7[label="concat (map (range0 vx31 vx30) (LT : EQ : GT : []))",fontsize=16,color="black",shape="box"];7 -> 8[label="",style="solid", color="black", weight=3];
8[label="foldr (++) [] (map (range0 vx31 vx30) (LT : EQ : GT : []))",fontsize=16,color="black",shape="box"];8 -> 9[label="",style="solid", color="black", weight=3];
9[label="foldr (++) [] (range0 vx31 vx30 LT : map (range0 vx31 vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];9 -> 10[label="",style="solid", color="black", weight=3];
10[label="(++) range0 vx31 vx30 LT foldr (++) [] (map (range0 vx31 vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];10 -> 11[label="",style="solid", color="black", weight=3];
11[label="(++) range00 LT (vx31 >= LT && LT >= vx30) foldr (++) [] (map (range0 vx31 vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];11 -> 12[label="",style="solid", color="black", weight=3];
12[label="(++) range00 LT (compare vx31 LT /= LT && LT >= vx30) foldr (++) [] (map (range0 vx31 vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];12 -> 13[label="",style="solid", color="black", weight=3];
13[label="(++) range00 LT (not (compare vx31 LT == LT) && LT >= vx30) foldr (++) [] (map (range0 vx31 vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];13 -> 14[label="",style="solid", color="black", weight=3];
14[label="(++) range00 LT (not (compare3 vx31 LT == LT) && LT >= vx30) foldr (++) [] (map (range0 vx31 vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];14 -> 15[label="",style="solid", color="black", weight=3];
15[label="(++) range00 LT (not (compare2 vx31 LT (vx31 == LT) == LT) && LT >= vx30) foldr (++) [] (map (range0 vx31 vx30) (EQ : GT : []))",fontsize=16,color="burlywood",shape="box"];538[label="vx31/LT",fontsize=10,color="white",style="solid",shape="box"];15 -> 538[label="",style="solid", color="burlywood", weight=9];
538 -> 16[label="",style="solid", color="burlywood", weight=3];
539[label="vx31/EQ",fontsize=10,color="white",style="solid",shape="box"];15 -> 539[label="",style="solid", color="burlywood", weight=9];
539 -> 17[label="",style="solid", color="burlywood", weight=3];
540[label="vx31/GT",fontsize=10,color="white",style="solid",shape="box"];15 -> 540[label="",style="solid", color="burlywood", weight=9];
540 -> 18[label="",style="solid", color="burlywood", weight=3];
16[label="(++) range00 LT (not (compare2 LT LT (LT == LT) == LT) && LT >= vx30) foldr (++) [] (map (range0 LT vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];16 -> 19[label="",style="solid", color="black", weight=3];
17[label="(++) range00 LT (not (compare2 EQ LT (EQ == LT) == LT) && LT >= vx30) foldr (++) [] (map (range0 EQ vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];17 -> 20[label="",style="solid", color="black", weight=3];
18[label="(++) range00 LT (not (compare2 GT LT (GT == LT) == LT) && LT >= vx30) foldr (++) [] (map (range0 GT vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];18 -> 21[label="",style="solid", color="black", weight=3];
19[label="(++) range00 LT (not (compare2 LT LT True == LT) && LT >= vx30) foldr (++) [] (map (range0 LT vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];19 -> 22[label="",style="solid", color="black", weight=3];
20[label="(++) range00 LT (not (compare2 EQ LT False == LT) && LT >= vx30) foldr (++) [] (map (range0 EQ vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];20 -> 23[label="",style="solid", color="black", weight=3];
21[label="(++) range00 LT (not (compare2 GT LT False == LT) && LT >= vx30) foldr (++) [] (map (range0 GT vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];21 -> 24[label="",style="solid", color="black", weight=3];
22[label="(++) range00 LT (not (EQ == LT) && LT >= vx30) foldr (++) [] (map (range0 LT vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];22 -> 25[label="",style="solid", color="black", weight=3];
23[label="(++) range00 LT (not (compare1 EQ LT (EQ <= LT) == LT) && LT >= vx30) foldr (++) [] (map (range0 EQ vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];23 -> 26[label="",style="solid", color="black", weight=3];
24[label="(++) range00 LT (not (compare1 GT LT (GT <= LT) == LT) && LT >= vx30) foldr (++) [] (map (range0 GT vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];24 -> 27[label="",style="solid", color="black", weight=3];
25[label="(++) range00 LT (not False && LT >= vx30) foldr (++) [] (map (range0 LT vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];25 -> 28[label="",style="solid", color="black", weight=3];
26[label="(++) range00 LT (not (compare1 EQ LT False == LT) && LT >= vx30) foldr (++) [] (map (range0 EQ vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];26 -> 29[label="",style="solid", color="black", weight=3];
27[label="(++) range00 LT (not (compare1 GT LT False == LT) && LT >= vx30) foldr (++) [] (map (range0 GT vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];27 -> 30[label="",style="solid", color="black", weight=3];
28[label="(++) range00 LT (True && LT >= vx30) foldr (++) [] (map (range0 LT vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];28 -> 31[label="",style="solid", color="black", weight=3];
29[label="(++) range00 LT (not (compare0 EQ LT otherwise == LT) && LT >= vx30) foldr (++) [] (map (range0 EQ vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];29 -> 32[label="",style="solid", color="black", weight=3];
30[label="(++) range00 LT (not (compare0 GT LT otherwise == LT) && LT >= vx30) foldr (++) [] (map (range0 GT vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];30 -> 33[label="",style="solid", color="black", weight=3];
31[label="(++) range00 LT (LT >= vx30) foldr (++) [] (map (range0 LT vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];31 -> 34[label="",style="solid", color="black", weight=3];
32[label="(++) range00 LT (not (compare0 EQ LT True == LT) && LT >= vx30) foldr (++) [] (map (range0 EQ vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];32 -> 35[label="",style="solid", color="black", weight=3];
33[label="(++) range00 LT (not (compare0 GT LT True == LT) && LT >= vx30) foldr (++) [] (map (range0 GT vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];33 -> 36[label="",style="solid", color="black", weight=3];
34[label="(++) range00 LT (compare LT vx30 /= LT) foldr (++) [] (map (range0 LT vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];34 -> 37[label="",style="solid", color="black", weight=3];
35[label="(++) range00 LT (not (GT == LT) && LT >= vx30) foldr (++) [] (map (range0 EQ vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];35 -> 38[label="",style="solid", color="black", weight=3];
36[label="(++) range00 LT (not (GT == LT) && LT >= vx30) foldr (++) [] (map (range0 GT vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];36 -> 39[label="",style="solid", color="black", weight=3];
37[label="(++) range00 LT (not (compare LT vx30 == LT)) foldr (++) [] (map (range0 LT vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];37 -> 40[label="",style="solid", color="black", weight=3];
38[label="(++) range00 LT (not False && LT >= vx30) foldr (++) [] (map (range0 EQ vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];38 -> 41[label="",style="solid", color="black", weight=3];
39[label="(++) range00 LT (not False && LT >= vx30) foldr (++) [] (map (range0 GT vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];39 -> 42[label="",style="solid", color="black", weight=3];
40[label="(++) range00 LT (not (compare3 LT vx30 == LT)) foldr (++) [] (map (range0 LT vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];40 -> 43[label="",style="solid", color="black", weight=3];
41[label="(++) range00 LT (True && LT >= vx30) foldr (++) [] (map (range0 EQ vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];41 -> 44[label="",style="solid", color="black", weight=3];
42[label="(++) range00 LT (True && LT >= vx30) foldr (++) [] (map (range0 GT vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];42 -> 45[label="",style="solid", color="black", weight=3];
43[label="(++) range00 LT (not (compare2 LT vx30 (LT == vx30) == LT)) foldr (++) [] (map (range0 LT vx30) (EQ : GT : []))",fontsize=16,color="burlywood",shape="box"];541[label="vx30/LT",fontsize=10,color="white",style="solid",shape="box"];43 -> 541[label="",style="solid", color="burlywood", weight=9];
541 -> 46[label="",style="solid", color="burlywood", weight=3];
542[label="vx30/EQ",fontsize=10,color="white",style="solid",shape="box"];43 -> 542[label="",style="solid", color="burlywood", weight=9];
542 -> 47[label="",style="solid", color="burlywood", weight=3];
543[label="vx30/GT",fontsize=10,color="white",style="solid",shape="box"];43 -> 543[label="",style="solid", color="burlywood", weight=9];
543 -> 48[label="",style="solid", color="burlywood", weight=3];
44[label="(++) range00 LT (LT >= vx30) foldr (++) [] (map (range0 EQ vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];44 -> 49[label="",style="solid", color="black", weight=3];
45[label="(++) range00 LT (LT >= vx30) foldr (++) [] (map (range0 GT vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];45 -> 50[label="",style="solid", color="black", weight=3];
46[label="(++) range00 LT (not (compare2 LT LT (LT == LT) == LT)) foldr (++) [] (map (range0 LT LT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];46 -> 51[label="",style="solid", color="black", weight=3];
47[label="(++) range00 LT (not (compare2 LT EQ (LT == EQ) == LT)) foldr (++) [] (map (range0 LT EQ) (EQ : GT : []))",fontsize=16,color="black",shape="box"];47 -> 52[label="",style="solid", color="black", weight=3];
48[label="(++) range00 LT (not (compare2 LT GT (LT == GT) == LT)) foldr (++) [] (map (range0 LT GT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];48 -> 53[label="",style="solid", color="black", weight=3];
49[label="(++) range00 LT (compare LT vx30 /= LT) foldr (++) [] (map (range0 EQ vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];49 -> 54[label="",style="solid", color="black", weight=3];
50[label="(++) range00 LT (compare LT vx30 /= LT) foldr (++) [] (map (range0 GT vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];50 -> 55[label="",style="solid", color="black", weight=3];
51[label="(++) range00 LT (not (compare2 LT LT True == LT)) foldr (++) [] (map (range0 LT LT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];51 -> 56[label="",style="solid", color="black", weight=3];
52[label="(++) range00 LT (not (compare2 LT EQ False == LT)) foldr (++) [] (map (range0 LT EQ) (EQ : GT : []))",fontsize=16,color="black",shape="box"];52 -> 57[label="",style="solid", color="black", weight=3];
53[label="(++) range00 LT (not (compare2 LT GT False == LT)) foldr (++) [] (map (range0 LT GT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];53 -> 58[label="",style="solid", color="black", weight=3];
54[label="(++) range00 LT (not (compare LT vx30 == LT)) foldr (++) [] (map (range0 EQ vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];54 -> 59[label="",style="solid", color="black", weight=3];
55[label="(++) range00 LT (not (compare LT vx30 == LT)) foldr (++) [] (map (range0 GT vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];55 -> 60[label="",style="solid", color="black", weight=3];
56[label="(++) range00 LT (not (EQ == LT)) foldr (++) [] (map (range0 LT LT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];56 -> 61[label="",style="solid", color="black", weight=3];
57[label="(++) range00 LT (not (compare1 LT EQ (LT <= EQ) == LT)) foldr (++) [] (map (range0 LT EQ) (EQ : GT : []))",fontsize=16,color="black",shape="box"];57 -> 62[label="",style="solid", color="black", weight=3];
58[label="(++) range00 LT (not (compare1 LT GT (LT <= GT) == LT)) foldr (++) [] (map (range0 LT GT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];58 -> 63[label="",style="solid", color="black", weight=3];
59[label="(++) range00 LT (not (compare3 LT vx30 == LT)) foldr (++) [] (map (range0 EQ vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];59 -> 64[label="",style="solid", color="black", weight=3];
60[label="(++) range00 LT (not (compare3 LT vx30 == LT)) foldr (++) [] (map (range0 GT vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];60 -> 65[label="",style="solid", color="black", weight=3];
61[label="(++) range00 LT (not False) foldr (++) [] (map (range0 LT LT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];61 -> 66[label="",style="solid", color="black", weight=3];
62[label="(++) range00 LT (not (compare1 LT EQ True == LT)) foldr (++) [] (map (range0 LT EQ) (EQ : GT : []))",fontsize=16,color="black",shape="box"];62 -> 67[label="",style="solid", color="black", weight=3];
63[label="(++) range00 LT (not (compare1 LT GT True == LT)) foldr (++) [] (map (range0 LT GT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];63 -> 68[label="",style="solid", color="black", weight=3];
64[label="(++) range00 LT (not (compare2 LT vx30 (LT == vx30) == LT)) foldr (++) [] (map (range0 EQ vx30) (EQ : GT : []))",fontsize=16,color="burlywood",shape="box"];544[label="vx30/LT",fontsize=10,color="white",style="solid",shape="box"];64 -> 544[label="",style="solid", color="burlywood", weight=9];
544 -> 69[label="",style="solid", color="burlywood", weight=3];
545[label="vx30/EQ",fontsize=10,color="white",style="solid",shape="box"];64 -> 545[label="",style="solid", color="burlywood", weight=9];
545 -> 70[label="",style="solid", color="burlywood", weight=3];
546[label="vx30/GT",fontsize=10,color="white",style="solid",shape="box"];64 -> 546[label="",style="solid", color="burlywood", weight=9];
546 -> 71[label="",style="solid", color="burlywood", weight=3];
65[label="(++) range00 LT (not (compare2 LT vx30 (LT == vx30) == LT)) foldr (++) [] (map (range0 GT vx30) (EQ : GT : []))",fontsize=16,color="burlywood",shape="box"];547[label="vx30/LT",fontsize=10,color="white",style="solid",shape="box"];65 -> 547[label="",style="solid", color="burlywood", weight=9];
547 -> 72[label="",style="solid", color="burlywood", weight=3];
548[label="vx30/EQ",fontsize=10,color="white",style="solid",shape="box"];65 -> 548[label="",style="solid", color="burlywood", weight=9];
548 -> 73[label="",style="solid", color="burlywood", weight=3];
549[label="vx30/GT",fontsize=10,color="white",style="solid",shape="box"];65 -> 549[label="",style="solid", color="burlywood", weight=9];
549 -> 74[label="",style="solid", color="burlywood", weight=3];
66[label="(++) range00 LT True foldr (++) [] (map (range0 LT LT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];66 -> 75[label="",style="solid", color="black", weight=3];
67[label="(++) range00 LT (not (LT == LT)) foldr (++) [] (map (range0 LT EQ) (EQ : GT : []))",fontsize=16,color="black",shape="box"];67 -> 76[label="",style="solid", color="black", weight=3];
68[label="(++) range00 LT (not (LT == LT)) foldr (++) [] (map (range0 LT GT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];68 -> 77[label="",style="solid", color="black", weight=3];
69[label="(++) range00 LT (not (compare2 LT LT (LT == LT) == LT)) foldr (++) [] (map (range0 EQ LT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];69 -> 78[label="",style="solid", color="black", weight=3];
70[label="(++) range00 LT (not (compare2 LT EQ (LT == EQ) == LT)) foldr (++) [] (map (range0 EQ EQ) (EQ : GT : []))",fontsize=16,color="black",shape="box"];70 -> 79[label="",style="solid", color="black", weight=3];
71[label="(++) range00 LT (not (compare2 LT GT (LT == GT) == LT)) foldr (++) [] (map (range0 EQ GT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];71 -> 80[label="",style="solid", color="black", weight=3];
72[label="(++) range00 LT (not (compare2 LT LT (LT == LT) == LT)) foldr (++) [] (map (range0 GT LT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];72 -> 81[label="",style="solid", color="black", weight=3];
73[label="(++) range00 LT (not (compare2 LT EQ (LT == EQ) == LT)) foldr (++) [] (map (range0 GT EQ) (EQ : GT : []))",fontsize=16,color="black",shape="box"];73 -> 82[label="",style="solid", color="black", weight=3];
74[label="(++) range00 LT (not (compare2 LT GT (LT == GT) == LT)) foldr (++) [] (map (range0 GT GT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];74 -> 83[label="",style="solid", color="black", weight=3];
75[label="(++) (LT : []) foldr (++) [] (map (range0 LT LT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];75 -> 84[label="",style="solid", color="black", weight=3];
76[label="(++) range00 LT (not True) foldr (++) [] (map (range0 LT EQ) (EQ : GT : []))",fontsize=16,color="black",shape="box"];76 -> 85[label="",style="solid", color="black", weight=3];
77[label="(++) range00 LT (not True) foldr (++) [] (map (range0 LT GT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];77 -> 86[label="",style="solid", color="black", weight=3];
78[label="(++) range00 LT (not (compare2 LT LT True == LT)) foldr (++) [] (map (range0 EQ LT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];78 -> 87[label="",style="solid", color="black", weight=3];
79[label="(++) range00 LT (not (compare2 LT EQ False == LT)) foldr (++) [] (map (range0 EQ EQ) (EQ : GT : []))",fontsize=16,color="black",shape="box"];79 -> 88[label="",style="solid", color="black", weight=3];
80[label="(++) range00 LT (not (compare2 LT GT False == LT)) foldr (++) [] (map (range0 EQ GT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];80 -> 89[label="",style="solid", color="black", weight=3];
81[label="(++) range00 LT (not (compare2 LT LT True == LT)) foldr (++) [] (map (range0 GT LT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];81 -> 90[label="",style="solid", color="black", weight=3];
82[label="(++) range00 LT (not (compare2 LT EQ False == LT)) foldr (++) [] (map (range0 GT EQ) (EQ : GT : []))",fontsize=16,color="black",shape="box"];82 -> 91[label="",style="solid", color="black", weight=3];
83[label="(++) range00 LT (not (compare2 LT GT False == LT)) foldr (++) [] (map (range0 GT GT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];83 -> 92[label="",style="solid", color="black", weight=3];
84[label="LT : [] ++ foldr (++) [] (map (range0 LT LT) (EQ : GT : []))",fontsize=16,color="green",shape="box"];84 -> 93[label="",style="dashed", color="green", weight=3];
85[label="(++) range00 LT False foldr (++) [] (map (range0 LT EQ) (EQ : GT : []))",fontsize=16,color="black",shape="box"];85 -> 94[label="",style="solid", color="black", weight=3];
86[label="(++) range00 LT False foldr (++) [] (map (range0 LT GT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];86 -> 95[label="",style="solid", color="black", weight=3];
87[label="(++) range00 LT (not (EQ == LT)) foldr (++) [] (map (range0 EQ LT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];87 -> 96[label="",style="solid", color="black", weight=3];
88[label="(++) range00 LT (not (compare1 LT EQ (LT <= EQ) == LT)) foldr (++) [] (map (range0 EQ EQ) (EQ : GT : []))",fontsize=16,color="black",shape="box"];88 -> 97[label="",style="solid", color="black", weight=3];
89[label="(++) range00 LT (not (compare1 LT GT (LT <= GT) == LT)) foldr (++) [] (map (range0 EQ GT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];89 -> 98[label="",style="solid", color="black", weight=3];
90[label="(++) range00 LT (not (EQ == LT)) foldr (++) [] (map (range0 GT LT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];90 -> 99[label="",style="solid", color="black", weight=3];
91[label="(++) range00 LT (not (compare1 LT EQ (LT <= EQ) == LT)) foldr (++) [] (map (range0 GT EQ) (EQ : GT : []))",fontsize=16,color="black",shape="box"];91 -> 100[label="",style="solid", color="black", weight=3];
92[label="(++) range00 LT (not (compare1 LT GT (LT <= GT) == LT)) foldr (++) [] (map (range0 GT GT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];92 -> 101[label="",style="solid", color="black", weight=3];
93[label="[] ++ foldr (++) [] (map (range0 LT LT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];93 -> 102[label="",style="solid", color="black", weight=3];
94[label="(++) [] foldr (++) [] (map (range0 LT EQ) (EQ : GT : []))",fontsize=16,color="black",shape="box"];94 -> 103[label="",style="solid", color="black", weight=3];
95[label="(++) [] foldr (++) [] (map (range0 LT GT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];95 -> 104[label="",style="solid", color="black", weight=3];
96[label="(++) range00 LT (not False) foldr (++) [] (map (range0 EQ LT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];96 -> 105[label="",style="solid", color="black", weight=3];
97[label="(++) range00 LT (not (compare1 LT EQ True == LT)) foldr (++) [] (map (range0 EQ EQ) (EQ : GT : []))",fontsize=16,color="black",shape="box"];97 -> 106[label="",style="solid", color="black", weight=3];
98[label="(++) range00 LT (not (compare1 LT GT True == LT)) foldr (++) [] (map (range0 EQ GT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];98 -> 107[label="",style="solid", color="black", weight=3];
99[label="(++) range00 LT (not False) foldr (++) [] (map (range0 GT LT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];99 -> 108[label="",style="solid", color="black", weight=3];
100[label="(++) range00 LT (not (compare1 LT EQ True == LT)) foldr (++) [] (map (range0 GT EQ) (EQ : GT : []))",fontsize=16,color="black",shape="box"];100 -> 109[label="",style="solid", color="black", weight=3];
101[label="(++) range00 LT (not (compare1 LT GT True == LT)) foldr (++) [] (map (range0 GT GT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];101 -> 110[label="",style="solid", color="black", weight=3];
102[label="foldr (++) [] (map (range0 LT LT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];102 -> 111[label="",style="solid", color="black", weight=3];
103[label="foldr (++) [] (map (range0 LT EQ) (EQ : GT : []))",fontsize=16,color="black",shape="box"];103 -> 112[label="",style="solid", color="black", weight=3];
104[label="foldr (++) [] (map (range0 LT GT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];104 -> 113[label="",style="solid", color="black", weight=3];
105[label="(++) range00 LT True foldr (++) [] (map (range0 EQ LT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];105 -> 114[label="",style="solid", color="black", weight=3];
106[label="(++) range00 LT (not (LT == LT)) foldr (++) [] (map (range0 EQ EQ) (EQ : GT : []))",fontsize=16,color="black",shape="box"];106 -> 115[label="",style="solid", color="black", weight=3];
107[label="(++) range00 LT (not (LT == LT)) foldr (++) [] (map (range0 EQ GT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];107 -> 116[label="",style="solid", color="black", weight=3];
108[label="(++) range00 LT True foldr (++) [] (map (range0 GT LT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];108 -> 117[label="",style="solid", color="black", weight=3];
109[label="(++) range00 LT (not (LT == LT)) foldr (++) [] (map (range0 GT EQ) (EQ : GT : []))",fontsize=16,color="black",shape="box"];109 -> 118[label="",style="solid", color="black", weight=3];
110[label="(++) range00 LT (not (LT == LT)) foldr (++) [] (map (range0 GT GT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];110 -> 119[label="",style="solid", color="black", weight=3];
111[label="foldr (++) [] (range0 LT LT EQ : map (range0 LT LT) (GT : []))",fontsize=16,color="black",shape="box"];111 -> 120[label="",style="solid", color="black", weight=3];
112[label="foldr (++) [] (range0 LT EQ EQ : map (range0 LT EQ) (GT : []))",fontsize=16,color="black",shape="box"];112 -> 121[label="",style="solid", color="black", weight=3];
113[label="foldr (++) [] (range0 LT GT EQ : map (range0 LT GT) (GT : []))",fontsize=16,color="black",shape="box"];113 -> 122[label="",style="solid", color="black", weight=3];
114[label="(++) (LT : []) foldr (++) [] (map (range0 EQ LT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];114 -> 123[label="",style="solid", color="black", weight=3];
115[label="(++) range00 LT (not True) foldr (++) [] (map (range0 EQ EQ) (EQ : GT : []))",fontsize=16,color="black",shape="box"];115 -> 124[label="",style="solid", color="black", weight=3];
116[label="(++) range00 LT (not True) foldr (++) [] (map (range0 EQ GT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];116 -> 125[label="",style="solid", color="black", weight=3];
117[label="(++) (LT : []) foldr (++) [] (map (range0 GT LT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];117 -> 126[label="",style="solid", color="black", weight=3];
118[label="(++) range00 LT (not True) foldr (++) [] (map (range0 GT EQ) (EQ : GT : []))",fontsize=16,color="black",shape="box"];118 -> 127[label="",style="solid", color="black", weight=3];
119[label="(++) range00 LT (not True) foldr (++) [] (map (range0 GT GT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];119 -> 128[label="",style="solid", color="black", weight=3];
120[label="(++) range0 LT LT EQ foldr (++) [] (map (range0 LT LT) (GT : []))",fontsize=16,color="black",shape="box"];120 -> 129[label="",style="solid", color="black", weight=3];
121[label="(++) range0 LT EQ EQ foldr (++) [] (map (range0 LT EQ) (GT : []))",fontsize=16,color="black",shape="box"];121 -> 130[label="",style="solid", color="black", weight=3];
122[label="(++) range0 LT GT EQ foldr (++) [] (map (range0 LT GT) (GT : []))",fontsize=16,color="black",shape="box"];122 -> 131[label="",style="solid", color="black", weight=3];
123[label="LT : [] ++ foldr (++) [] (map (range0 EQ LT) (EQ : GT : []))",fontsize=16,color="green",shape="box"];123 -> 132[label="",style="dashed", color="green", weight=3];
124[label="(++) range00 LT False foldr (++) [] (map (range0 EQ EQ) (EQ : GT : []))",fontsize=16,color="black",shape="box"];124 -> 133[label="",style="solid", color="black", weight=3];
125[label="(++) range00 LT False foldr (++) [] (map (range0 EQ GT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];125 -> 134[label="",style="solid", color="black", weight=3];
126[label="LT : [] ++ foldr (++) [] (map (range0 GT LT) (EQ : GT : []))",fontsize=16,color="green",shape="box"];126 -> 135[label="",style="dashed", color="green", weight=3];
127[label="(++) range00 LT False foldr (++) [] (map (range0 GT EQ) (EQ : GT : []))",fontsize=16,color="black",shape="box"];127 -> 136[label="",style="solid", color="black", weight=3];
128[label="(++) range00 LT False foldr (++) [] (map (range0 GT GT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];128 -> 137[label="",style="solid", color="black", weight=3];
129[label="(++) range00 EQ (LT >= EQ && EQ >= LT) foldr (++) [] (map (range0 LT LT) (GT : []))",fontsize=16,color="black",shape="box"];129 -> 138[label="",style="solid", color="black", weight=3];
130[label="(++) range00 EQ (LT >= EQ && EQ >= EQ) foldr (++) [] (map (range0 LT EQ) (GT : []))",fontsize=16,color="black",shape="box"];130 -> 139[label="",style="solid", color="black", weight=3];
131[label="(++) range00 EQ (LT >= EQ && EQ >= GT) foldr (++) [] (map (range0 LT GT) (GT : []))",fontsize=16,color="black",shape="box"];131 -> 140[label="",style="solid", color="black", weight=3];
132[label="[] ++ foldr (++) [] (map (range0 EQ LT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];132 -> 141[label="",style="solid", color="black", weight=3];
133[label="(++) [] foldr (++) [] (map (range0 EQ EQ) (EQ : GT : []))",fontsize=16,color="black",shape="box"];133 -> 142[label="",style="solid", color="black", weight=3];
134[label="(++) [] foldr (++) [] (map (range0 EQ GT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];134 -> 143[label="",style="solid", color="black", weight=3];
135[label="[] ++ foldr (++) [] (map (range0 GT LT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];135 -> 144[label="",style="solid", color="black", weight=3];
136[label="(++) [] foldr (++) [] (map (range0 GT EQ) (EQ : GT : []))",fontsize=16,color="black",shape="box"];136 -> 145[label="",style="solid", color="black", weight=3];
137[label="(++) [] foldr (++) [] (map (range0 GT GT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];137 -> 146[label="",style="solid", color="black", weight=3];
138[label="(++) range00 EQ (compare LT EQ /= LT && EQ >= LT) foldr (++) [] (map (range0 LT LT) (GT : []))",fontsize=16,color="black",shape="box"];138 -> 147[label="",style="solid", color="black", weight=3];
139[label="(++) range00 EQ (compare LT EQ /= LT && EQ >= EQ) foldr (++) [] (map (range0 LT EQ) (GT : []))",fontsize=16,color="black",shape="box"];139 -> 148[label="",style="solid", color="black", weight=3];
140[label="(++) range00 EQ (compare LT EQ /= LT && EQ >= GT) foldr (++) [] (map (range0 LT GT) (GT : []))",fontsize=16,color="black",shape="box"];140 -> 149[label="",style="solid", color="black", weight=3];
141[label="foldr (++) [] (map (range0 EQ LT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];141 -> 150[label="",style="solid", color="black", weight=3];
142[label="foldr (++) [] (map (range0 EQ EQ) (EQ : GT : []))",fontsize=16,color="black",shape="box"];142 -> 151[label="",style="solid", color="black", weight=3];
143[label="foldr (++) [] (map (range0 EQ GT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];143 -> 152[label="",style="solid", color="black", weight=3];
144[label="foldr (++) [] (map (range0 GT LT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];144 -> 153[label="",style="solid", color="black", weight=3];
145[label="foldr (++) [] (map (range0 GT EQ) (EQ : GT : []))",fontsize=16,color="black",shape="box"];145 -> 154[label="",style="solid", color="black", weight=3];
146[label="foldr (++) [] (map (range0 GT GT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];146 -> 155[label="",style="solid", color="black", weight=3];
147[label="(++) range00 EQ (not (compare LT EQ == LT) && EQ >= LT) foldr (++) [] (map (range0 LT LT) (GT : []))",fontsize=16,color="black",shape="box"];147 -> 156[label="",style="solid", color="black", weight=3];
148[label="(++) range00 EQ (not (compare LT EQ == LT) && EQ >= EQ) foldr (++) [] (map (range0 LT EQ) (GT : []))",fontsize=16,color="black",shape="box"];148 -> 157[label="",style="solid", color="black", weight=3];
149[label="(++) range00 EQ (not (compare LT EQ == LT) && EQ >= GT) foldr (++) [] (map (range0 LT GT) (GT : []))",fontsize=16,color="black",shape="box"];149 -> 158[label="",style="solid", color="black", weight=3];
150[label="foldr (++) [] (range0 EQ LT EQ : map (range0 EQ LT) (GT : []))",fontsize=16,color="black",shape="box"];150 -> 159[label="",style="solid", color="black", weight=3];
151[label="foldr (++) [] (range0 EQ EQ EQ : map (range0 EQ EQ) (GT : []))",fontsize=16,color="black",shape="box"];151 -> 160[label="",style="solid", color="black", weight=3];
152[label="foldr (++) [] (range0 EQ GT EQ : map (range0 EQ GT) (GT : []))",fontsize=16,color="black",shape="box"];152 -> 161[label="",style="solid", color="black", weight=3];
153[label="foldr (++) [] (range0 GT LT EQ : map (range0 GT LT) (GT : []))",fontsize=16,color="black",shape="box"];153 -> 162[label="",style="solid", color="black", weight=3];
154[label="foldr (++) [] (range0 GT EQ EQ : map (range0 GT EQ) (GT : []))",fontsize=16,color="black",shape="box"];154 -> 163[label="",style="solid", color="black", weight=3];
155[label="foldr (++) [] (range0 GT GT EQ : map (range0 GT GT) (GT : []))",fontsize=16,color="black",shape="box"];155 -> 164[label="",style="solid", color="black", weight=3];
156[label="(++) range00 EQ (not (compare3 LT EQ == LT) && EQ >= LT) foldr (++) [] (map (range0 LT LT) (GT : []))",fontsize=16,color="black",shape="box"];156 -> 165[label="",style="solid", color="black", weight=3];
157[label="(++) range00 EQ (not (compare3 LT EQ == LT) && EQ >= EQ) foldr (++) [] (map (range0 LT EQ) (GT : []))",fontsize=16,color="black",shape="box"];157 -> 166[label="",style="solid", color="black", weight=3];
158[label="(++) range00 EQ (not (compare3 LT EQ == LT) && EQ >= GT) foldr (++) [] (map (range0 LT GT) (GT : []))",fontsize=16,color="black",shape="box"];158 -> 167[label="",style="solid", color="black", weight=3];
159[label="(++) range0 EQ LT EQ foldr (++) [] (map (range0 EQ LT) (GT : []))",fontsize=16,color="black",shape="box"];159 -> 168[label="",style="solid", color="black", weight=3];
160[label="(++) range0 EQ EQ EQ foldr (++) [] (map (range0 EQ EQ) (GT : []))",fontsize=16,color="black",shape="box"];160 -> 169[label="",style="solid", color="black", weight=3];
161[label="(++) range0 EQ GT EQ foldr (++) [] (map (range0 EQ GT) (GT : []))",fontsize=16,color="black",shape="box"];161 -> 170[label="",style="solid", color="black", weight=3];
162[label="(++) range0 GT LT EQ foldr (++) [] (map (range0 GT LT) (GT : []))",fontsize=16,color="black",shape="box"];162 -> 171[label="",style="solid", color="black", weight=3];
163[label="(++) range0 GT EQ EQ foldr (++) [] (map (range0 GT EQ) (GT : []))",fontsize=16,color="black",shape="box"];163 -> 172[label="",style="solid", color="black", weight=3];
164[label="(++) range0 GT GT EQ foldr (++) [] (map (range0 GT GT) (GT : []))",fontsize=16,color="black",shape="box"];164 -> 173[label="",style="solid", color="black", weight=3];
165[label="(++) range00 EQ (not (compare2 LT EQ (LT == EQ) == LT) && EQ >= LT) foldr (++) [] (map (range0 LT LT) (GT : []))",fontsize=16,color="black",shape="box"];165 -> 174[label="",style="solid", color="black", weight=3];
166[label="(++) range00 EQ (not (compare2 LT EQ (LT == EQ) == LT) && EQ >= EQ) foldr (++) [] (map (range0 LT EQ) (GT : []))",fontsize=16,color="black",shape="box"];166 -> 175[label="",style="solid", color="black", weight=3];
167[label="(++) range00 EQ (not (compare2 LT EQ (LT == EQ) == LT) && EQ >= GT) foldr (++) [] (map (range0 LT GT) (GT : []))",fontsize=16,color="black",shape="box"];167 -> 176[label="",style="solid", color="black", weight=3];
168[label="(++) range00 EQ (EQ >= EQ && EQ >= LT) foldr (++) [] (map (range0 EQ LT) (GT : []))",fontsize=16,color="black",shape="box"];168 -> 177[label="",style="solid", color="black", weight=3];
169[label="(++) range00 EQ (EQ >= EQ && EQ >= EQ) foldr (++) [] (map (range0 EQ EQ) (GT : []))",fontsize=16,color="black",shape="box"];169 -> 178[label="",style="solid", color="black", weight=3];
170[label="(++) range00 EQ (EQ >= EQ && EQ >= GT) foldr (++) [] (map (range0 EQ GT) (GT : []))",fontsize=16,color="black",shape="box"];170 -> 179[label="",style="solid", color="black", weight=3];
171[label="(++) range00 EQ (GT >= EQ && EQ >= LT) foldr (++) [] (map (range0 GT LT) (GT : []))",fontsize=16,color="black",shape="box"];171 -> 180[label="",style="solid", color="black", weight=3];
172[label="(++) range00 EQ (GT >= EQ && EQ >= EQ) foldr (++) [] (map (range0 GT EQ) (GT : []))",fontsize=16,color="black",shape="box"];172 -> 181[label="",style="solid", color="black", weight=3];
173[label="(++) range00 EQ (GT >= EQ && EQ >= GT) foldr (++) [] (map (range0 GT GT) (GT : []))",fontsize=16,color="black",shape="box"];173 -> 182[label="",style="solid", color="black", weight=3];
174[label="(++) range00 EQ (not (compare2 LT EQ False == LT) && EQ >= LT) foldr (++) [] (map (range0 LT LT) (GT : []))",fontsize=16,color="black",shape="box"];174 -> 183[label="",style="solid", color="black", weight=3];
175[label="(++) range00 EQ (not (compare2 LT EQ False == LT) && EQ >= EQ) foldr (++) [] (map (range0 LT EQ) (GT : []))",fontsize=16,color="black",shape="box"];175 -> 184[label="",style="solid", color="black", weight=3];
176[label="(++) range00 EQ (not (compare2 LT EQ False == LT) && EQ >= GT) foldr (++) [] (map (range0 LT GT) (GT : []))",fontsize=16,color="black",shape="box"];176 -> 185[label="",style="solid", color="black", weight=3];
177[label="(++) range00 EQ (compare EQ EQ /= LT && EQ >= LT) foldr (++) [] (map (range0 EQ LT) (GT : []))",fontsize=16,color="black",shape="box"];177 -> 186[label="",style="solid", color="black", weight=3];
178[label="(++) range00 EQ (compare EQ EQ /= LT && EQ >= EQ) foldr (++) [] (map (range0 EQ EQ) (GT : []))",fontsize=16,color="black",shape="box"];178 -> 187[label="",style="solid", color="black", weight=3];
179[label="(++) range00 EQ (compare EQ EQ /= LT && EQ >= GT) foldr (++) [] (map (range0 EQ GT) (GT : []))",fontsize=16,color="black",shape="box"];179 -> 188[label="",style="solid", color="black", weight=3];
180[label="(++) range00 EQ (compare GT EQ /= LT && EQ >= LT) foldr (++) [] (map (range0 GT LT) (GT : []))",fontsize=16,color="black",shape="box"];180 -> 189[label="",style="solid", color="black", weight=3];
181[label="(++) range00 EQ (compare GT EQ /= LT && EQ >= EQ) foldr (++) [] (map (range0 GT EQ) (GT : []))",fontsize=16,color="black",shape="box"];181 -> 190[label="",style="solid", color="black", weight=3];
182[label="(++) range00 EQ (compare GT EQ /= LT && EQ >= GT) foldr (++) [] (map (range0 GT GT) (GT : []))",fontsize=16,color="black",shape="box"];182 -> 191[label="",style="solid", color="black", weight=3];
183[label="(++) range00 EQ (not (compare1 LT EQ (LT <= EQ) == LT) && EQ >= LT) foldr (++) [] (map (range0 LT LT) (GT : []))",fontsize=16,color="black",shape="box"];183 -> 192[label="",style="solid", color="black", weight=3];
184[label="(++) range00 EQ (not (compare1 LT EQ (LT <= EQ) == LT) && EQ >= EQ) foldr (++) [] (map (range0 LT EQ) (GT : []))",fontsize=16,color="black",shape="box"];184 -> 193[label="",style="solid", color="black", weight=3];
185[label="(++) range00 EQ (not (compare1 LT EQ (LT <= EQ) == LT) && EQ >= GT) foldr (++) [] (map (range0 LT GT) (GT : []))",fontsize=16,color="black",shape="box"];185 -> 194[label="",style="solid", color="black", weight=3];
186[label="(++) range00 EQ (not (compare EQ EQ == LT) && EQ >= LT) foldr (++) [] (map (range0 EQ LT) (GT : []))",fontsize=16,color="black",shape="box"];186 -> 195[label="",style="solid", color="black", weight=3];
187[label="(++) range00 EQ (not (compare EQ EQ == LT) && EQ >= EQ) foldr (++) [] (map (range0 EQ EQ) (GT : []))",fontsize=16,color="black",shape="box"];187 -> 196[label="",style="solid", color="black", weight=3];
188[label="(++) range00 EQ (not (compare EQ EQ == LT) && EQ >= GT) foldr (++) [] (map (range0 EQ GT) (GT : []))",fontsize=16,color="black",shape="box"];188 -> 197[label="",style="solid", color="black", weight=3];
189[label="(++) range00 EQ (not (compare GT EQ == LT) && EQ >= LT) foldr (++) [] (map (range0 GT LT) (GT : []))",fontsize=16,color="black",shape="box"];189 -> 198[label="",style="solid", color="black", weight=3];
190[label="(++) range00 EQ (not (compare GT EQ == LT) && EQ >= EQ) foldr (++) [] (map (range0 GT EQ) (GT : []))",fontsize=16,color="black",shape="box"];190 -> 199[label="",style="solid", color="black", weight=3];
191[label="(++) range00 EQ (not (compare GT EQ == LT) && EQ >= GT) foldr (++) [] (map (range0 GT GT) (GT : []))",fontsize=16,color="black",shape="box"];191 -> 200[label="",style="solid", color="black", weight=3];
192[label="(++) range00 EQ (not (compare1 LT EQ True == LT) && EQ >= LT) foldr (++) [] (map (range0 LT LT) (GT : []))",fontsize=16,color="black",shape="box"];192 -> 201[label="",style="solid", color="black", weight=3];
193[label="(++) range00 EQ (not (compare1 LT EQ True == LT) && EQ >= EQ) foldr (++) [] (map (range0 LT EQ) (GT : []))",fontsize=16,color="black",shape="box"];193 -> 202[label="",style="solid", color="black", weight=3];
194[label="(++) range00 EQ (not (compare1 LT EQ True == LT) && EQ >= GT) foldr (++) [] (map (range0 LT GT) (GT : []))",fontsize=16,color="black",shape="box"];194 -> 203[label="",style="solid", color="black", weight=3];
195[label="(++) range00 EQ (not (compare3 EQ EQ == LT) && EQ >= LT) foldr (++) [] (map (range0 EQ LT) (GT : []))",fontsize=16,color="black",shape="box"];195 -> 204[label="",style="solid", color="black", weight=3];
196[label="(++) range00 EQ (not (compare3 EQ EQ == LT) && EQ >= EQ) foldr (++) [] (map (range0 EQ EQ) (GT : []))",fontsize=16,color="black",shape="box"];196 -> 205[label="",style="solid", color="black", weight=3];
197[label="(++) range00 EQ (not (compare3 EQ EQ == LT) && EQ >= GT) foldr (++) [] (map (range0 EQ GT) (GT : []))",fontsize=16,color="black",shape="box"];197 -> 206[label="",style="solid", color="black", weight=3];
198[label="(++) range00 EQ (not (compare3 GT EQ == LT) && EQ >= LT) foldr (++) [] (map (range0 GT LT) (GT : []))",fontsize=16,color="black",shape="box"];198 -> 207[label="",style="solid", color="black", weight=3];
199[label="(++) range00 EQ (not (compare3 GT EQ == LT) && EQ >= EQ) foldr (++) [] (map (range0 GT EQ) (GT : []))",fontsize=16,color="black",shape="box"];199 -> 208[label="",style="solid", color="black", weight=3];
200[label="(++) range00 EQ (not (compare3 GT EQ == LT) && EQ >= GT) foldr (++) [] (map (range0 GT GT) (GT : []))",fontsize=16,color="black",shape="box"];200 -> 209[label="",style="solid", color="black", weight=3];
201[label="(++) range00 EQ (not (LT == LT) && EQ >= LT) foldr (++) [] (map (range0 LT LT) (GT : []))",fontsize=16,color="black",shape="box"];201 -> 210[label="",style="solid", color="black", weight=3];
202[label="(++) range00 EQ (not (LT == LT) && EQ >= EQ) foldr (++) [] (map (range0 LT EQ) (GT : []))",fontsize=16,color="black",shape="box"];202 -> 211[label="",style="solid", color="black", weight=3];
203[label="(++) range00 EQ (not (LT == LT) && EQ >= GT) foldr (++) [] (map (range0 LT GT) (GT : []))",fontsize=16,color="black",shape="box"];203 -> 212[label="",style="solid", color="black", weight=3];
204[label="(++) range00 EQ (not (compare2 EQ EQ (EQ == EQ) == LT) && EQ >= LT) foldr (++) [] (map (range0 EQ LT) (GT : []))",fontsize=16,color="black",shape="box"];204 -> 213[label="",style="solid", color="black", weight=3];
205[label="(++) range00 EQ (not (compare2 EQ EQ (EQ == EQ) == LT) && EQ >= EQ) foldr (++) [] (map (range0 EQ EQ) (GT : []))",fontsize=16,color="black",shape="box"];205 -> 214[label="",style="solid", color="black", weight=3];
206[label="(++) range00 EQ (not (compare2 EQ EQ (EQ == EQ) == LT) && EQ >= GT) foldr (++) [] (map (range0 EQ GT) (GT : []))",fontsize=16,color="black",shape="box"];206 -> 215[label="",style="solid", color="black", weight=3];
207[label="(++) range00 EQ (not (compare2 GT EQ (GT == EQ) == LT) && EQ >= LT) foldr (++) [] (map (range0 GT LT) (GT : []))",fontsize=16,color="black",shape="box"];207 -> 216[label="",style="solid", color="black", weight=3];
208[label="(++) range00 EQ (not (compare2 GT EQ (GT == EQ) == LT) && EQ >= EQ) foldr (++) [] (map (range0 GT EQ) (GT : []))",fontsize=16,color="black",shape="box"];208 -> 217[label="",style="solid", color="black", weight=3];
209[label="(++) range00 EQ (not (compare2 GT EQ (GT == EQ) == LT) && EQ >= GT) foldr (++) [] (map (range0 GT GT) (GT : []))",fontsize=16,color="black",shape="box"];209 -> 218[label="",style="solid", color="black", weight=3];
210[label="(++) range00 EQ (not True && EQ >= LT) foldr (++) [] (map (range0 LT LT) (GT : []))",fontsize=16,color="black",shape="box"];210 -> 219[label="",style="solid", color="black", weight=3];
211[label="(++) range00 EQ (not True && EQ >= EQ) foldr (++) [] (map (range0 LT EQ) (GT : []))",fontsize=16,color="black",shape="box"];211 -> 220[label="",style="solid", color="black", weight=3];
212[label="(++) range00 EQ (not True && EQ >= GT) foldr (++) [] (map (range0 LT GT) (GT : []))",fontsize=16,color="black",shape="box"];212 -> 221[label="",style="solid", color="black", weight=3];
213[label="(++) range00 EQ (not (compare2 EQ EQ True == LT) && EQ >= LT) foldr (++) [] (map (range0 EQ LT) (GT : []))",fontsize=16,color="black",shape="box"];213 -> 222[label="",style="solid", color="black", weight=3];
214[label="(++) range00 EQ (not (compare2 EQ EQ True == LT) && EQ >= EQ) foldr (++) [] (map (range0 EQ EQ) (GT : []))",fontsize=16,color="black",shape="box"];214 -> 223[label="",style="solid", color="black", weight=3];
215[label="(++) range00 EQ (not (compare2 EQ EQ True == LT) && EQ >= GT) foldr (++) [] (map (range0 EQ GT) (GT : []))",fontsize=16,color="black",shape="box"];215 -> 224[label="",style="solid", color="black", weight=3];
216[label="(++) range00 EQ (not (compare2 GT EQ False == LT) && EQ >= LT) foldr (++) [] (map (range0 GT LT) (GT : []))",fontsize=16,color="black",shape="box"];216 -> 225[label="",style="solid", color="black", weight=3];
217[label="(++) range00 EQ (not (compare2 GT EQ False == LT) && EQ >= EQ) foldr (++) [] (map (range0 GT EQ) (GT : []))",fontsize=16,color="black",shape="box"];217 -> 226[label="",style="solid", color="black", weight=3];
218[label="(++) range00 EQ (not (compare2 GT EQ False == LT) && EQ >= GT) foldr (++) [] (map (range0 GT GT) (GT : []))",fontsize=16,color="black",shape="box"];218 -> 227[label="",style="solid", color="black", weight=3];
219[label="(++) range00 EQ (False && EQ >= LT) foldr (++) [] (map (range0 LT LT) (GT : []))",fontsize=16,color="black",shape="box"];219 -> 228[label="",style="solid", color="black", weight=3];
220[label="(++) range00 EQ (False && EQ >= EQ) foldr (++) [] (map (range0 LT EQ) (GT : []))",fontsize=16,color="black",shape="box"];220 -> 229[label="",style="solid", color="black", weight=3];
221[label="(++) range00 EQ (False && EQ >= GT) foldr (++) [] (map (range0 LT GT) (GT : []))",fontsize=16,color="black",shape="box"];221 -> 230[label="",style="solid", color="black", weight=3];
222[label="(++) range00 EQ (not (EQ == LT) && EQ >= LT) foldr (++) [] (map (range0 EQ LT) (GT : []))",fontsize=16,color="black",shape="box"];222 -> 231[label="",style="solid", color="black", weight=3];
223[label="(++) range00 EQ (not (EQ == LT) && EQ >= EQ) foldr (++) [] (map (range0 EQ EQ) (GT : []))",fontsize=16,color="black",shape="box"];223 -> 232[label="",style="solid", color="black", weight=3];
224[label="(++) range00 EQ (not (EQ == LT) && EQ >= GT) foldr (++) [] (map (range0 EQ GT) (GT : []))",fontsize=16,color="black",shape="box"];224 -> 233[label="",style="solid", color="black", weight=3];
225[label="(++) range00 EQ (not (compare1 GT EQ (GT <= EQ) == LT) && EQ >= LT) foldr (++) [] (map (range0 GT LT) (GT : []))",fontsize=16,color="black",shape="box"];225 -> 234[label="",style="solid", color="black", weight=3];
226[label="(++) range00 EQ (not (compare1 GT EQ (GT <= EQ) == LT) && EQ >= EQ) foldr (++) [] (map (range0 GT EQ) (GT : []))",fontsize=16,color="black",shape="box"];226 -> 235[label="",style="solid", color="black", weight=3];
227[label="(++) range00 EQ (not (compare1 GT EQ (GT <= EQ) == LT) && EQ >= GT) foldr (++) [] (map (range0 GT GT) (GT : []))",fontsize=16,color="black",shape="box"];227 -> 236[label="",style="solid", color="black", weight=3];
228[label="(++) range00 EQ False foldr (++) [] (map (range0 LT LT) (GT : []))",fontsize=16,color="black",shape="box"];228 -> 237[label="",style="solid", color="black", weight=3];
229[label="(++) range00 EQ False foldr (++) [] (map (range0 LT EQ) (GT : []))",fontsize=16,color="black",shape="box"];229 -> 238[label="",style="solid", color="black", weight=3];
230[label="(++) range00 EQ False foldr (++) [] (map (range0 LT GT) (GT : []))",fontsize=16,color="black",shape="box"];230 -> 239[label="",style="solid", color="black", weight=3];
231[label="(++) range00 EQ (not False && EQ >= LT) foldr (++) [] (map (range0 EQ LT) (GT : []))",fontsize=16,color="black",shape="box"];231 -> 240[label="",style="solid", color="black", weight=3];
232[label="(++) range00 EQ (not False && EQ >= EQ) foldr (++) [] (map (range0 EQ EQ) (GT : []))",fontsize=16,color="black",shape="box"];232 -> 241[label="",style="solid", color="black", weight=3];
233[label="(++) range00 EQ (not False && EQ >= GT) foldr (++) [] (map (range0 EQ GT) (GT : []))",fontsize=16,color="black",shape="box"];233 -> 242[label="",style="solid", color="black", weight=3];
234[label="(++) range00 EQ (not (compare1 GT EQ False == LT) && EQ >= LT) foldr (++) [] (map (range0 GT LT) (GT : []))",fontsize=16,color="black",shape="box"];234 -> 243[label="",style="solid", color="black", weight=3];
235[label="(++) range00 EQ (not (compare1 GT EQ False == LT) && EQ >= EQ) foldr (++) [] (map (range0 GT EQ) (GT : []))",fontsize=16,color="black",shape="box"];235 -> 244[label="",style="solid", color="black", weight=3];
236[label="(++) range00 EQ (not (compare1 GT EQ False == LT) && EQ >= GT) foldr (++) [] (map (range0 GT GT) (GT : []))",fontsize=16,color="black",shape="box"];236 -> 245[label="",style="solid", color="black", weight=3];
237[label="(++) [] foldr (++) [] (map (range0 LT LT) (GT : []))",fontsize=16,color="black",shape="box"];237 -> 246[label="",style="solid", color="black", weight=3];
238[label="(++) [] foldr (++) [] (map (range0 LT EQ) (GT : []))",fontsize=16,color="black",shape="box"];238 -> 247[label="",style="solid", color="black", weight=3];
239[label="(++) [] foldr (++) [] (map (range0 LT GT) (GT : []))",fontsize=16,color="black",shape="box"];239 -> 248[label="",style="solid", color="black", weight=3];
240[label="(++) range00 EQ (True && EQ >= LT) foldr (++) [] (map (range0 EQ LT) (GT : []))",fontsize=16,color="black",shape="box"];240 -> 249[label="",style="solid", color="black", weight=3];
241[label="(++) range00 EQ (True && EQ >= EQ) foldr (++) [] (map (range0 EQ EQ) (GT : []))",fontsize=16,color="black",shape="box"];241 -> 250[label="",style="solid", color="black", weight=3];
242[label="(++) range00 EQ (True && EQ >= GT) foldr (++) [] (map (range0 EQ GT) (GT : []))",fontsize=16,color="black",shape="box"];242 -> 251[label="",style="solid", color="black", weight=3];
243 -> 252[label="",style="dashed", color="red", weight=0];
243[label="(++) range00 EQ (not (compare0 GT EQ otherwise == LT) && EQ >= LT) foldr (++) [] (map (range0 GT LT) (GT : []))",fontsize=16,color="magenta"];243 -> 253[label="",style="dashed", color="magenta", weight=3];
244[label="(++) range00 EQ (not (compare0 GT EQ otherwise == LT) && EQ >= EQ) foldr (++) [] (map (range0 GT EQ) (GT : []))",fontsize=16,color="black",shape="box"];244 -> 254[label="",style="solid", color="black", weight=3];
245[label="(++) range00 EQ (not (compare0 GT EQ otherwise == LT) && EQ >= GT) foldr (++) [] (map (range0 GT GT) (GT : []))",fontsize=16,color="black",shape="box"];245 -> 255[label="",style="solid", color="black", weight=3];
246[label="foldr (++) [] (map (range0 LT LT) (GT : []))",fontsize=16,color="black",shape="box"];246 -> 256[label="",style="solid", color="black", weight=3];
247[label="foldr (++) [] (map (range0 LT EQ) (GT : []))",fontsize=16,color="black",shape="box"];247 -> 257[label="",style="solid", color="black", weight=3];
248[label="foldr (++) [] (map (range0 LT GT) (GT : []))",fontsize=16,color="black",shape="box"];248 -> 258[label="",style="solid", color="black", weight=3];
249[label="(++) range00 EQ (EQ >= LT) foldr (++) [] (map (range0 EQ LT) (GT : []))",fontsize=16,color="black",shape="box"];249 -> 259[label="",style="solid", color="black", weight=3];
250[label="(++) range00 EQ (EQ >= EQ) foldr (++) [] (map (range0 EQ EQ) (GT : []))",fontsize=16,color="black",shape="box"];250 -> 260[label="",style="solid", color="black", weight=3];
251[label="(++) range00 EQ (EQ >= GT) foldr (++) [] (map (range0 EQ GT) (GT : []))",fontsize=16,color="black",shape="box"];251 -> 261[label="",style="solid", color="black", weight=3];
253[label="foldr (++) [] (map (range0 GT LT) (GT : []))",fontsize=16,color="black",shape="box"];253 -> 262[label="",style="solid", color="black", weight=3];
252[label="(++) range00 EQ (not (compare0 GT EQ otherwise == LT) && EQ >= LT) vx5",fontsize=16,color="black",shape="triangle"];252 -> 263[label="",style="solid", color="black", weight=3];
254[label="(++) range00 EQ (not (compare0 GT EQ True == LT) && EQ >= EQ) foldr (++) [] (map (range0 GT EQ) (GT : []))",fontsize=16,color="black",shape="box"];254 -> 264[label="",style="solid", color="black", weight=3];
255[label="(++) range00 EQ (not (compare0 GT EQ True == LT) && EQ >= GT) foldr (++) [] (map (range0 GT GT) (GT : []))",fontsize=16,color="black",shape="box"];255 -> 265[label="",style="solid", color="black", weight=3];
256[label="foldr (++) [] (range0 LT LT GT : map (range0 LT LT) [])",fontsize=16,color="black",shape="box"];256 -> 266[label="",style="solid", color="black", weight=3];
257[label="foldr (++) [] (range0 LT EQ GT : map (range0 LT EQ) [])",fontsize=16,color="black",shape="box"];257 -> 267[label="",style="solid", color="black", weight=3];
258[label="foldr (++) [] (range0 LT GT GT : map (range0 LT GT) [])",fontsize=16,color="black",shape="box"];258 -> 268[label="",style="solid", color="black", weight=3];
259[label="(++) range00 EQ (compare EQ LT /= LT) foldr (++) [] (map (range0 EQ LT) (GT : []))",fontsize=16,color="black",shape="box"];259 -> 269[label="",style="solid", color="black", weight=3];
260[label="(++) range00 EQ (compare EQ EQ /= LT) foldr (++) [] (map (range0 EQ EQ) (GT : []))",fontsize=16,color="black",shape="box"];260 -> 270[label="",style="solid", color="black", weight=3];
261[label="(++) range00 EQ (compare EQ GT /= LT) foldr (++) [] (map (range0 EQ GT) (GT : []))",fontsize=16,color="black",shape="box"];261 -> 271[label="",style="solid", color="black", weight=3];
262[label="foldr (++) [] (range0 GT LT GT : map (range0 GT LT) [])",fontsize=16,color="black",shape="box"];262 -> 272[label="",style="solid", color="black", weight=3];
263[label="(++) range00 EQ (not (compare0 GT EQ True == LT) && EQ >= LT) vx5",fontsize=16,color="black",shape="box"];263 -> 273[label="",style="solid", color="black", weight=3];
264[label="(++) range00 EQ (not (GT == LT) && EQ >= EQ) foldr (++) [] (map (range0 GT EQ) (GT : []))",fontsize=16,color="black",shape="box"];264 -> 274[label="",style="solid", color="black", weight=3];
265[label="(++) range00 EQ (not (GT == LT) && EQ >= GT) foldr (++) [] (map (range0 GT GT) (GT : []))",fontsize=16,color="black",shape="box"];265 -> 275[label="",style="solid", color="black", weight=3];
266[label="(++) range0 LT LT GT foldr (++) [] (map (range0 LT LT) [])",fontsize=16,color="black",shape="box"];266 -> 276[label="",style="solid", color="black", weight=3];
267[label="(++) range0 LT EQ GT foldr (++) [] (map (range0 LT EQ) [])",fontsize=16,color="black",shape="box"];267 -> 277[label="",style="solid", color="black", weight=3];
268[label="(++) range0 LT GT GT foldr (++) [] (map (range0 LT GT) [])",fontsize=16,color="black",shape="box"];268 -> 278[label="",style="solid", color="black", weight=3];
269[label="(++) range00 EQ (not (compare EQ LT == LT)) foldr (++) [] (map (range0 EQ LT) (GT : []))",fontsize=16,color="black",shape="box"];269 -> 279[label="",style="solid", color="black", weight=3];
270[label="(++) range00 EQ (not (compare EQ EQ == LT)) foldr (++) [] (map (range0 EQ EQ) (GT : []))",fontsize=16,color="black",shape="box"];270 -> 280[label="",style="solid", color="black", weight=3];
271[label="(++) range00 EQ (not (compare EQ GT == LT)) foldr (++) [] (map (range0 EQ GT) (GT : []))",fontsize=16,color="black",shape="box"];271 -> 281[label="",style="solid", color="black", weight=3];
272[label="(++) range0 GT LT GT foldr (++) [] (map (range0 GT LT) [])",fontsize=16,color="black",shape="box"];272 -> 282[label="",style="solid", color="black", weight=3];
273[label="(++) range00 EQ (not (GT == LT) && EQ >= LT) vx5",fontsize=16,color="black",shape="box"];273 -> 283[label="",style="solid", color="black", weight=3];
274[label="(++) range00 EQ (not False && EQ >= EQ) foldr (++) [] (map (range0 GT EQ) (GT : []))",fontsize=16,color="black",shape="box"];274 -> 284[label="",style="solid", color="black", weight=3];
275[label="(++) range00 EQ (not False && EQ >= GT) foldr (++) [] (map (range0 GT GT) (GT : []))",fontsize=16,color="black",shape="box"];275 -> 285[label="",style="solid", color="black", weight=3];
276[label="(++) range00 GT (LT >= GT && GT >= LT) foldr (++) [] (map (range0 LT LT) [])",fontsize=16,color="black",shape="box"];276 -> 286[label="",style="solid", color="black", weight=3];
277[label="(++) range00 GT (LT >= GT && GT >= EQ) foldr (++) [] (map (range0 LT EQ) [])",fontsize=16,color="black",shape="box"];277 -> 287[label="",style="solid", color="black", weight=3];
278[label="(++) range00 GT (LT >= GT && GT >= GT) foldr (++) [] (map (range0 LT GT) [])",fontsize=16,color="black",shape="box"];278 -> 288[label="",style="solid", color="black", weight=3];
279[label="(++) range00 EQ (not (compare3 EQ LT == LT)) foldr (++) [] (map (range0 EQ LT) (GT : []))",fontsize=16,color="black",shape="box"];279 -> 289[label="",style="solid", color="black", weight=3];
280[label="(++) range00 EQ (not (compare3 EQ EQ == LT)) foldr (++) [] (map (range0 EQ EQ) (GT : []))",fontsize=16,color="black",shape="box"];280 -> 290[label="",style="solid", color="black", weight=3];
281[label="(++) range00 EQ (not (compare3 EQ GT == LT)) foldr (++) [] (map (range0 EQ GT) (GT : []))",fontsize=16,color="black",shape="box"];281 -> 291[label="",style="solid", color="black", weight=3];
282[label="(++) range00 GT (GT >= GT && GT >= LT) foldr (++) [] (map (range0 GT LT) [])",fontsize=16,color="black",shape="box"];282 -> 292[label="",style="solid", color="black", weight=3];
283[label="(++) range00 EQ (not False && EQ >= LT) vx5",fontsize=16,color="black",shape="box"];283 -> 293[label="",style="solid", color="black", weight=3];
284[label="(++) range00 EQ (True && EQ >= EQ) foldr (++) [] (map (range0 GT EQ) (GT : []))",fontsize=16,color="black",shape="box"];284 -> 294[label="",style="solid", color="black", weight=3];
285[label="(++) range00 EQ (True && EQ >= GT) foldr (++) [] (map (range0 GT GT) (GT : []))",fontsize=16,color="black",shape="box"];285 -> 295[label="",style="solid", color="black", weight=3];
286[label="(++) range00 GT (compare LT GT /= LT && GT >= LT) foldr (++) [] (map (range0 LT LT) [])",fontsize=16,color="black",shape="box"];286 -> 296[label="",style="solid", color="black", weight=3];
287[label="(++) range00 GT (compare LT GT /= LT && GT >= EQ) foldr (++) [] (map (range0 LT EQ) [])",fontsize=16,color="black",shape="box"];287 -> 297[label="",style="solid", color="black", weight=3];
288[label="(++) range00 GT (compare LT GT /= LT && GT >= GT) foldr (++) [] (map (range0 LT GT) [])",fontsize=16,color="black",shape="box"];288 -> 298[label="",style="solid", color="black", weight=3];
289[label="(++) range00 EQ (not (compare2 EQ LT (EQ == LT) == LT)) foldr (++) [] (map (range0 EQ LT) (GT : []))",fontsize=16,color="black",shape="box"];289 -> 299[label="",style="solid", color="black", weight=3];
290[label="(++) range00 EQ (not (compare2 EQ EQ (EQ == EQ) == LT)) foldr (++) [] (map (range0 EQ EQ) (GT : []))",fontsize=16,color="black",shape="box"];290 -> 300[label="",style="solid", color="black", weight=3];
291[label="(++) range00 EQ (not (compare2 EQ GT (EQ == GT) == LT)) foldr (++) [] (map (range0 EQ GT) (GT : []))",fontsize=16,color="black",shape="box"];291 -> 301[label="",style="solid", color="black", weight=3];
292[label="(++) range00 GT (compare GT GT /= LT && GT >= LT) foldr (++) [] (map (range0 GT LT) [])",fontsize=16,color="black",shape="box"];292 -> 302[label="",style="solid", color="black", weight=3];
293[label="(++) range00 EQ (True && EQ >= LT) vx5",fontsize=16,color="black",shape="box"];293 -> 303[label="",style="solid", color="black", weight=3];
294[label="(++) range00 EQ (EQ >= EQ) foldr (++) [] (map (range0 GT EQ) (GT : []))",fontsize=16,color="black",shape="box"];294 -> 304[label="",style="solid", color="black", weight=3];
295[label="(++) range00 EQ (EQ >= GT) foldr (++) [] (map (range0 GT GT) (GT : []))",fontsize=16,color="black",shape="box"];295 -> 305[label="",style="solid", color="black", weight=3];
296[label="(++) range00 GT (not (compare LT GT == LT) && GT >= LT) foldr (++) [] (map (range0 LT LT) [])",fontsize=16,color="black",shape="box"];296 -> 306[label="",style="solid", color="black", weight=3];
297[label="(++) range00 GT (not (compare LT GT == LT) && GT >= EQ) foldr (++) [] (map (range0 LT EQ) [])",fontsize=16,color="black",shape="box"];297 -> 307[label="",style="solid", color="black", weight=3];
298[label="(++) range00 GT (not (compare LT GT == LT) && GT >= GT) foldr (++) [] (map (range0 LT GT) [])",fontsize=16,color="black",shape="box"];298 -> 308[label="",style="solid", color="black", weight=3];
299[label="(++) range00 EQ (not (compare2 EQ LT False == LT)) foldr (++) [] (map (range0 EQ LT) (GT : []))",fontsize=16,color="black",shape="box"];299 -> 309[label="",style="solid", color="black", weight=3];
300[label="(++) range00 EQ (not (compare2 EQ EQ True == LT)) foldr (++) [] (map (range0 EQ EQ) (GT : []))",fontsize=16,color="black",shape="box"];300 -> 310[label="",style="solid", color="black", weight=3];
301[label="(++) range00 EQ (not (compare2 EQ GT False == LT)) foldr (++) [] (map (range0 EQ GT) (GT : []))",fontsize=16,color="black",shape="box"];301 -> 311[label="",style="solid", color="black", weight=3];
302[label="(++) range00 GT (not (compare GT GT == LT) && GT >= LT) foldr (++) [] (map (range0 GT LT) [])",fontsize=16,color="black",shape="box"];302 -> 312[label="",style="solid", color="black", weight=3];
303[label="(++) range00 EQ (EQ >= LT) vx5",fontsize=16,color="black",shape="box"];303 -> 313[label="",style="solid", color="black", weight=3];
304[label="(++) range00 EQ (compare EQ EQ /= LT) foldr (++) [] (map (range0 GT EQ) (GT : []))",fontsize=16,color="black",shape="box"];304 -> 314[label="",style="solid", color="black", weight=3];
305[label="(++) range00 EQ (compare EQ GT /= LT) foldr (++) [] (map (range0 GT GT) (GT : []))",fontsize=16,color="black",shape="box"];305 -> 315[label="",style="solid", color="black", weight=3];
306[label="(++) range00 GT (not (compare3 LT GT == LT) && GT >= LT) foldr (++) [] (map (range0 LT LT) [])",fontsize=16,color="black",shape="box"];306 -> 316[label="",style="solid", color="black", weight=3];
307[label="(++) range00 GT (not (compare3 LT GT == LT) && GT >= EQ) foldr (++) [] (map (range0 LT EQ) [])",fontsize=16,color="black",shape="box"];307 -> 317[label="",style="solid", color="black", weight=3];
308[label="(++) range00 GT (not (compare3 LT GT == LT) && GT >= GT) foldr (++) [] (map (range0 LT GT) [])",fontsize=16,color="black",shape="box"];308 -> 318[label="",style="solid", color="black", weight=3];
309[label="(++) range00 EQ (not (compare1 EQ LT (EQ <= LT) == LT)) foldr (++) [] (map (range0 EQ LT) (GT : []))",fontsize=16,color="black",shape="box"];309 -> 319[label="",style="solid", color="black", weight=3];
310[label="(++) range00 EQ (not (EQ == LT)) foldr (++) [] (map (range0 EQ EQ) (GT : []))",fontsize=16,color="black",shape="box"];310 -> 320[label="",style="solid", color="black", weight=3];
311[label="(++) range00 EQ (not (compare1 EQ GT (EQ <= GT) == LT)) foldr (++) [] (map (range0 EQ GT) (GT : []))",fontsize=16,color="black",shape="box"];311 -> 321[label="",style="solid", color="black", weight=3];
312[label="(++) range00 GT (not (compare3 GT GT == LT) && GT >= LT) foldr (++) [] (map (range0 GT LT) [])",fontsize=16,color="black",shape="box"];312 -> 322[label="",style="solid", color="black", weight=3];
313[label="(++) range00 EQ (compare EQ LT /= LT) vx5",fontsize=16,color="black",shape="box"];313 -> 323[label="",style="solid", color="black", weight=3];
314[label="(++) range00 EQ (not (compare EQ EQ == LT)) foldr (++) [] (map (range0 GT EQ) (GT : []))",fontsize=16,color="black",shape="box"];314 -> 324[label="",style="solid", color="black", weight=3];
315[label="(++) range00 EQ (not (compare EQ GT == LT)) foldr (++) [] (map (range0 GT GT) (GT : []))",fontsize=16,color="black",shape="box"];315 -> 325[label="",style="solid", color="black", weight=3];
316[label="(++) range00 GT (not (compare2 LT GT (LT == GT) == LT) && GT >= LT) foldr (++) [] (map (range0 LT LT) [])",fontsize=16,color="black",shape="box"];316 -> 326[label="",style="solid", color="black", weight=3];
317[label="(++) range00 GT (not (compare2 LT GT (LT == GT) == LT) && GT >= EQ) foldr (++) [] (map (range0 LT EQ) [])",fontsize=16,color="black",shape="box"];317 -> 327[label="",style="solid", color="black", weight=3];
318[label="(++) range00 GT (not (compare2 LT GT (LT == GT) == LT) && GT >= GT) foldr (++) [] (map (range0 LT GT) [])",fontsize=16,color="black",shape="box"];318 -> 328[label="",style="solid", color="black", weight=3];
319[label="(++) range00 EQ (not (compare1 EQ LT False == LT)) foldr (++) [] (map (range0 EQ LT) (GT : []))",fontsize=16,color="black",shape="box"];319 -> 329[label="",style="solid", color="black", weight=3];
320[label="(++) range00 EQ (not False) foldr (++) [] (map (range0 EQ EQ) (GT : []))",fontsize=16,color="black",shape="box"];320 -> 330[label="",style="solid", color="black", weight=3];
321[label="(++) range00 EQ (not (compare1 EQ GT True == LT)) foldr (++) [] (map (range0 EQ GT) (GT : []))",fontsize=16,color="black",shape="box"];321 -> 331[label="",style="solid", color="black", weight=3];
322[label="(++) range00 GT (not (compare2 GT GT (GT == GT) == LT) && GT >= LT) foldr (++) [] (map (range0 GT LT) [])",fontsize=16,color="black",shape="box"];322 -> 332[label="",style="solid", color="black", weight=3];
323[label="(++) range00 EQ (not (compare EQ LT == LT)) vx5",fontsize=16,color="black",shape="box"];323 -> 333[label="",style="solid", color="black", weight=3];
324[label="(++) range00 EQ (not (compare3 EQ EQ == LT)) foldr (++) [] (map (range0 GT EQ) (GT : []))",fontsize=16,color="black",shape="box"];324 -> 334[label="",style="solid", color="black", weight=3];
325[label="(++) range00 EQ (not (compare3 EQ GT == LT)) foldr (++) [] (map (range0 GT GT) (GT : []))",fontsize=16,color="black",shape="box"];325 -> 335[label="",style="solid", color="black", weight=3];
326[label="(++) range00 GT (not (compare2 LT GT False == LT) && GT >= LT) foldr (++) [] (map (range0 LT LT) [])",fontsize=16,color="black",shape="box"];326 -> 336[label="",style="solid", color="black", weight=3];
327[label="(++) range00 GT (not (compare2 LT GT False == LT) && GT >= EQ) foldr (++) [] (map (range0 LT EQ) [])",fontsize=16,color="black",shape="box"];327 -> 337[label="",style="solid", color="black", weight=3];
328[label="(++) range00 GT (not (compare2 LT GT False == LT) && GT >= GT) foldr (++) [] (map (range0 LT GT) [])",fontsize=16,color="black",shape="box"];328 -> 338[label="",style="solid", color="black", weight=3];
329[label="(++) range00 EQ (not (compare0 EQ LT otherwise == LT)) foldr (++) [] (map (range0 EQ LT) (GT : []))",fontsize=16,color="black",shape="box"];329 -> 339[label="",style="solid", color="black", weight=3];
330[label="(++) range00 EQ True foldr (++) [] (map (range0 EQ EQ) (GT : []))",fontsize=16,color="black",shape="box"];330 -> 340[label="",style="solid", color="black", weight=3];
331[label="(++) range00 EQ (not (LT == LT)) foldr (++) [] (map (range0 EQ GT) (GT : []))",fontsize=16,color="black",shape="box"];331 -> 341[label="",style="solid", color="black", weight=3];
332[label="(++) range00 GT (not (compare2 GT GT True == LT) && GT >= LT) foldr (++) [] (map (range0 GT LT) [])",fontsize=16,color="black",shape="box"];332 -> 342[label="",style="solid", color="black", weight=3];
333[label="(++) range00 EQ (not (compare3 EQ LT == LT)) vx5",fontsize=16,color="black",shape="box"];333 -> 343[label="",style="solid", color="black", weight=3];
334[label="(++) range00 EQ (not (compare2 EQ EQ (EQ == EQ) == LT)) foldr (++) [] (map (range0 GT EQ) (GT : []))",fontsize=16,color="black",shape="box"];334 -> 344[label="",style="solid", color="black", weight=3];
335[label="(++) range00 EQ (not (compare2 EQ GT (EQ == GT) == LT)) foldr (++) [] (map (range0 GT GT) (GT : []))",fontsize=16,color="black",shape="box"];335 -> 345[label="",style="solid", color="black", weight=3];
336[label="(++) range00 GT (not (compare1 LT GT (LT <= GT) == LT) && GT >= LT) foldr (++) [] (map (range0 LT LT) [])",fontsize=16,color="black",shape="box"];336 -> 346[label="",style="solid", color="black", weight=3];
337[label="(++) range00 GT (not (compare1 LT GT (LT <= GT) == LT) && GT >= EQ) foldr (++) [] (map (range0 LT EQ) [])",fontsize=16,color="black",shape="box"];337 -> 347[label="",style="solid", color="black", weight=3];
338[label="(++) range00 GT (not (compare1 LT GT (LT <= GT) == LT) && GT >= GT) foldr (++) [] (map (range0 LT GT) [])",fontsize=16,color="black",shape="box"];338 -> 348[label="",style="solid", color="black", weight=3];
339[label="(++) range00 EQ (not (compare0 EQ LT True == LT)) foldr (++) [] (map (range0 EQ LT) (GT : []))",fontsize=16,color="black",shape="box"];339 -> 349[label="",style="solid", color="black", weight=3];
340[label="(++) (EQ : []) foldr (++) [] (map (range0 EQ EQ) (GT : []))",fontsize=16,color="black",shape="box"];340 -> 350[label="",style="solid", color="black", weight=3];
341[label="(++) range00 EQ (not True) foldr (++) [] (map (range0 EQ GT) (GT : []))",fontsize=16,color="black",shape="box"];341 -> 351[label="",style="solid", color="black", weight=3];
342[label="(++) range00 GT (not (EQ == LT) && GT >= LT) foldr (++) [] (map (range0 GT LT) [])",fontsize=16,color="black",shape="box"];342 -> 352[label="",style="solid", color="black", weight=3];
343[label="(++) range00 EQ (not (compare2 EQ LT (EQ == LT) == LT)) vx5",fontsize=16,color="black",shape="box"];343 -> 353[label="",style="solid", color="black", weight=3];
344[label="(++) range00 EQ (not (compare2 EQ EQ True == LT)) foldr (++) [] (map (range0 GT EQ) (GT : []))",fontsize=16,color="black",shape="box"];344 -> 354[label="",style="solid", color="black", weight=3];
345[label="(++) range00 EQ (not (compare2 EQ GT False == LT)) foldr (++) [] (map (range0 GT GT) (GT : []))",fontsize=16,color="black",shape="box"];345 -> 355[label="",style="solid", color="black", weight=3];
346[label="(++) range00 GT (not (compare1 LT GT True == LT) && GT >= LT) foldr (++) [] (map (range0 LT LT) [])",fontsize=16,color="black",shape="box"];346 -> 356[label="",style="solid", color="black", weight=3];
347[label="(++) range00 GT (not (compare1 LT GT True == LT) && GT >= EQ) foldr (++) [] (map (range0 LT EQ) [])",fontsize=16,color="black",shape="box"];347 -> 357[label="",style="solid", color="black", weight=3];
348[label="(++) range00 GT (not (compare1 LT GT True == LT) && GT >= GT) foldr (++) [] (map (range0 LT GT) [])",fontsize=16,color="black",shape="box"];348 -> 358[label="",style="solid", color="black", weight=3];
349[label="(++) range00 EQ (not (GT == LT)) foldr (++) [] (map (range0 EQ LT) (GT : []))",fontsize=16,color="black",shape="box"];349 -> 359[label="",style="solid", color="black", weight=3];
350[label="EQ : [] ++ foldr (++) [] (map (range0 EQ EQ) (GT : []))",fontsize=16,color="green",shape="box"];350 -> 360[label="",style="dashed", color="green", weight=3];
351[label="(++) range00 EQ False foldr (++) [] (map (range0 EQ GT) (GT : []))",fontsize=16,color="black",shape="box"];351 -> 361[label="",style="solid", color="black", weight=3];
352[label="(++) range00 GT (not False && GT >= LT) foldr (++) [] (map (range0 GT LT) [])",fontsize=16,color="black",shape="box"];352 -> 362[label="",style="solid", color="black", weight=3];
353[label="(++) range00 EQ (not (compare2 EQ LT False == LT)) vx5",fontsize=16,color="black",shape="box"];353 -> 363[label="",style="solid", color="black", weight=3];
354[label="(++) range00 EQ (not (EQ == LT)) foldr (++) [] (map (range0 GT EQ) (GT : []))",fontsize=16,color="black",shape="box"];354 -> 364[label="",style="solid", color="black", weight=3];
355[label="(++) range00 EQ (not (compare1 EQ GT (EQ <= GT) == LT)) foldr (++) [] (map (range0 GT GT) (GT : []))",fontsize=16,color="black",shape="box"];355 -> 365[label="",style="solid", color="black", weight=3];
356[label="(++) range00 GT (not (LT == LT) && GT >= LT) foldr (++) [] (map (range0 LT LT) [])",fontsize=16,color="black",shape="box"];356 -> 366[label="",style="solid", color="black", weight=3];
357[label="(++) range00 GT (not (LT == LT) && GT >= EQ) foldr (++) [] (map (range0 LT EQ) [])",fontsize=16,color="black",shape="box"];357 -> 367[label="",style="solid", color="black", weight=3];
358[label="(++) range00 GT (not (LT == LT) && GT >= GT) foldr (++) [] (map (range0 LT GT) [])",fontsize=16,color="black",shape="box"];358 -> 368[label="",style="solid", color="black", weight=3];
359[label="(++) range00 EQ (not False) foldr (++) [] (map (range0 EQ LT) (GT : []))",fontsize=16,color="black",shape="box"];359 -> 369[label="",style="solid", color="black", weight=3];
360[label="[] ++ foldr (++) [] (map (range0 EQ EQ) (GT : []))",fontsize=16,color="black",shape="box"];360 -> 370[label="",style="solid", color="black", weight=3];
361[label="(++) [] foldr (++) [] (map (range0 EQ GT) (GT : []))",fontsize=16,color="black",shape="box"];361 -> 371[label="",style="solid", color="black", weight=3];
362[label="(++) range00 GT (True && GT >= LT) foldr (++) [] (map (range0 GT LT) [])",fontsize=16,color="black",shape="box"];362 -> 372[label="",style="solid", color="black", weight=3];
363[label="(++) range00 EQ (not (compare1 EQ LT (EQ <= LT) == LT)) vx5",fontsize=16,color="black",shape="box"];363 -> 373[label="",style="solid", color="black", weight=3];
364[label="(++) range00 EQ (not False) foldr (++) [] (map (range0 GT EQ) (GT : []))",fontsize=16,color="black",shape="box"];364 -> 374[label="",style="solid", color="black", weight=3];
365[label="(++) range00 EQ (not (compare1 EQ GT True == LT)) foldr (++) [] (map (range0 GT GT) (GT : []))",fontsize=16,color="black",shape="box"];365 -> 375[label="",style="solid", color="black", weight=3];
366[label="(++) range00 GT (not True && GT >= LT) foldr (++) [] (map (range0 LT LT) [])",fontsize=16,color="black",shape="box"];366 -> 376[label="",style="solid", color="black", weight=3];
367[label="(++) range00 GT (not True && GT >= EQ) foldr (++) [] (map (range0 LT EQ) [])",fontsize=16,color="black",shape="box"];367 -> 377[label="",style="solid", color="black", weight=3];
368[label="(++) range00 GT (not True && GT >= GT) foldr (++) [] (map (range0 LT GT) [])",fontsize=16,color="black",shape="box"];368 -> 378[label="",style="solid", color="black", weight=3];
369[label="(++) range00 EQ True foldr (++) [] (map (range0 EQ LT) (GT : []))",fontsize=16,color="black",shape="box"];369 -> 379[label="",style="solid", color="black", weight=3];
370[label="foldr (++) [] (map (range0 EQ EQ) (GT : []))",fontsize=16,color="black",shape="box"];370 -> 380[label="",style="solid", color="black", weight=3];
371[label="foldr (++) [] (map (range0 EQ GT) (GT : []))",fontsize=16,color="black",shape="box"];371 -> 381[label="",style="solid", color="black", weight=3];
372[label="(++) range00 GT (GT >= LT) foldr (++) [] (map (range0 GT LT) [])",fontsize=16,color="black",shape="box"];372 -> 382[label="",style="solid", color="black", weight=3];
373[label="(++) range00 EQ (not (compare1 EQ LT False == LT)) vx5",fontsize=16,color="black",shape="box"];373 -> 383[label="",style="solid", color="black", weight=3];
374[label="(++) range00 EQ True foldr (++) [] (map (range0 GT EQ) (GT : []))",fontsize=16,color="black",shape="box"];374 -> 384[label="",style="solid", color="black", weight=3];
375[label="(++) range00 EQ (not (LT == LT)) foldr (++) [] (map (range0 GT GT) (GT : []))",fontsize=16,color="black",shape="box"];375 -> 385[label="",style="solid", color="black", weight=3];
376[label="(++) range00 GT (False && GT >= LT) foldr (++) [] (map (range0 LT LT) [])",fontsize=16,color="black",shape="box"];376 -> 386[label="",style="solid", color="black", weight=3];
377[label="(++) range00 GT (False && GT >= EQ) foldr (++) [] (map (range0 LT EQ) [])",fontsize=16,color="black",shape="box"];377 -> 387[label="",style="solid", color="black", weight=3];
378[label="(++) range00 GT (False && GT >= GT) foldr (++) [] (map (range0 LT GT) [])",fontsize=16,color="black",shape="box"];378 -> 388[label="",style="solid", color="black", weight=3];
379[label="(++) (EQ : []) foldr (++) [] (map (range0 EQ LT) (GT : []))",fontsize=16,color="black",shape="box"];379 -> 389[label="",style="solid", color="black", weight=3];
380[label="foldr (++) [] (range0 EQ EQ GT : map (range0 EQ EQ) [])",fontsize=16,color="black",shape="box"];380 -> 390[label="",style="solid", color="black", weight=3];
381[label="foldr (++) [] (range0 EQ GT GT : map (range0 EQ GT) [])",fontsize=16,color="black",shape="box"];381 -> 391[label="",style="solid", color="black", weight=3];
382[label="(++) range00 GT (compare GT LT /= LT) foldr (++) [] (map (range0 GT LT) [])",fontsize=16,color="black",shape="box"];382 -> 392[label="",style="solid", color="black", weight=3];
383[label="(++) range00 EQ (not (compare0 EQ LT otherwise == LT)) vx5",fontsize=16,color="black",shape="box"];383 -> 393[label="",style="solid", color="black", weight=3];
384[label="(++) (EQ : []) foldr (++) [] (map (range0 GT EQ) (GT : []))",fontsize=16,color="black",shape="box"];384 -> 394[label="",style="solid", color="black", weight=3];
385[label="(++) range00 EQ (not True) foldr (++) [] (map (range0 GT GT) (GT : []))",fontsize=16,color="black",shape="box"];385 -> 395[label="",style="solid", color="black", weight=3];
386[label="(++) range00 GT False foldr (++) [] (map (range0 LT LT) [])",fontsize=16,color="black",shape="box"];386 -> 396[label="",style="solid", color="black", weight=3];
387[label="(++) range00 GT False foldr (++) [] (map (range0 LT EQ) [])",fontsize=16,color="black",shape="box"];387 -> 397[label="",style="solid", color="black", weight=3];
388[label="(++) range00 GT False foldr (++) [] (map (range0 LT GT) [])",fontsize=16,color="black",shape="box"];388 -> 398[label="",style="solid", color="black", weight=3];
389[label="EQ : [] ++ foldr (++) [] (map (range0 EQ LT) (GT : []))",fontsize=16,color="green",shape="box"];389 -> 399[label="",style="dashed", color="green", weight=3];
390[label="(++) range0 EQ EQ GT foldr (++) [] (map (range0 EQ EQ) [])",fontsize=16,color="black",shape="box"];390 -> 400[label="",style="solid", color="black", weight=3];
391[label="(++) range0 EQ GT GT foldr (++) [] (map (range0 EQ GT) [])",fontsize=16,color="black",shape="box"];391 -> 401[label="",style="solid", color="black", weight=3];
392[label="(++) range00 GT (not (compare GT LT == LT)) foldr (++) [] (map (range0 GT LT) [])",fontsize=16,color="black",shape="box"];392 -> 402[label="",style="solid", color="black", weight=3];
393[label="(++) range00 EQ (not (compare0 EQ LT True == LT)) vx5",fontsize=16,color="black",shape="box"];393 -> 403[label="",style="solid", color="black", weight=3];
394[label="EQ : [] ++ foldr (++) [] (map (range0 GT EQ) (GT : []))",fontsize=16,color="green",shape="box"];394 -> 404[label="",style="dashed", color="green", weight=3];
395[label="(++) range00 EQ False foldr (++) [] (map (range0 GT GT) (GT : []))",fontsize=16,color="black",shape="box"];395 -> 405[label="",style="solid", color="black", weight=3];
396[label="(++) [] foldr (++) [] (map (range0 LT LT) [])",fontsize=16,color="black",shape="box"];396 -> 406[label="",style="solid", color="black", weight=3];
397[label="(++) [] foldr (++) [] (map (range0 LT EQ) [])",fontsize=16,color="black",shape="box"];397 -> 407[label="",style="solid", color="black", weight=3];
398[label="(++) [] foldr (++) [] (map (range0 LT GT) [])",fontsize=16,color="black",shape="box"];398 -> 408[label="",style="solid", color="black", weight=3];
399[label="[] ++ foldr (++) [] (map (range0 EQ LT) (GT : []))",fontsize=16,color="black",shape="box"];399 -> 409[label="",style="solid", color="black", weight=3];
400[label="(++) range00 GT (EQ >= GT && GT >= EQ) foldr (++) [] (map (range0 EQ EQ) [])",fontsize=16,color="black",shape="box"];400 -> 410[label="",style="solid", color="black", weight=3];
401[label="(++) range00 GT (EQ >= GT && GT >= GT) foldr (++) [] (map (range0 EQ GT) [])",fontsize=16,color="black",shape="box"];401 -> 411[label="",style="solid", color="black", weight=3];
402[label="(++) range00 GT (not (compare3 GT LT == LT)) foldr (++) [] (map (range0 GT LT) [])",fontsize=16,color="black",shape="box"];402 -> 412[label="",style="solid", color="black", weight=3];
403[label="(++) range00 EQ (not (GT == LT)) vx5",fontsize=16,color="black",shape="box"];403 -> 413[label="",style="solid", color="black", weight=3];
404[label="[] ++ foldr (++) [] (map (range0 GT EQ) (GT : []))",fontsize=16,color="black",shape="box"];404 -> 414[label="",style="solid", color="black", weight=3];
405[label="(++) [] foldr (++) [] (map (range0 GT GT) (GT : []))",fontsize=16,color="black",shape="box"];405 -> 415[label="",style="solid", color="black", weight=3];
406[label="foldr (++) [] (map (range0 LT LT) [])",fontsize=16,color="black",shape="box"];406 -> 416[label="",style="solid", color="black", weight=3];
407[label="foldr (++) [] (map (range0 LT EQ) [])",fontsize=16,color="black",shape="box"];407 -> 417[label="",style="solid", color="black", weight=3];
408[label="foldr (++) [] (map (range0 LT GT) [])",fontsize=16,color="black",shape="box"];408 -> 418[label="",style="solid", color="black", weight=3];
409[label="foldr (++) [] (map (range0 EQ LT) (GT : []))",fontsize=16,color="black",shape="box"];409 -> 419[label="",style="solid", color="black", weight=3];
410[label="(++) range00 GT (compare EQ GT /= LT && GT >= EQ) foldr (++) [] (map (range0 EQ EQ) [])",fontsize=16,color="black",shape="box"];410 -> 420[label="",style="solid", color="black", weight=3];
411[label="(++) range00 GT (compare EQ GT /= LT && GT >= GT) foldr (++) [] (map (range0 EQ GT) [])",fontsize=16,color="black",shape="box"];411 -> 421[label="",style="solid", color="black", weight=3];
412[label="(++) range00 GT (not (compare2 GT LT (GT == LT) == LT)) foldr (++) [] (map (range0 GT LT) [])",fontsize=16,color="black",shape="box"];412 -> 422[label="",style="solid", color="black", weight=3];
413[label="(++) range00 EQ (not False) vx5",fontsize=16,color="black",shape="box"];413 -> 423[label="",style="solid", color="black", weight=3];
414[label="foldr (++) [] (map (range0 GT EQ) (GT : []))",fontsize=16,color="black",shape="box"];414 -> 424[label="",style="solid", color="black", weight=3];
415[label="foldr (++) [] (map (range0 GT GT) (GT : []))",fontsize=16,color="black",shape="box"];415 -> 425[label="",style="solid", color="black", weight=3];
416[label="foldr (++) [] []",fontsize=16,color="black",shape="triangle"];416 -> 426[label="",style="solid", color="black", weight=3];
417 -> 416[label="",style="dashed", color="red", weight=0];
417[label="foldr (++) [] []",fontsize=16,color="magenta"];418 -> 416[label="",style="dashed", color="red", weight=0];
418[label="foldr (++) [] []",fontsize=16,color="magenta"];419[label="foldr (++) [] (range0 EQ LT GT : map (range0 EQ LT) [])",fontsize=16,color="black",shape="box"];419 -> 427[label="",style="solid", color="black", weight=3];
420[label="(++) range00 GT (not (compare EQ GT == LT) && GT >= EQ) foldr (++) [] (map (range0 EQ EQ) [])",fontsize=16,color="black",shape="box"];420 -> 428[label="",style="solid", color="black", weight=3];
421[label="(++) range00 GT (not (compare EQ GT == LT) && GT >= GT) foldr (++) [] (map (range0 EQ GT) [])",fontsize=16,color="black",shape="box"];421 -> 429[label="",style="solid", color="black", weight=3];
422[label="(++) range00 GT (not (compare2 GT LT False == LT)) foldr (++) [] (map (range0 GT LT) [])",fontsize=16,color="black",shape="box"];422 -> 430[label="",style="solid", color="black", weight=3];
423[label="(++) range00 EQ True vx5",fontsize=16,color="black",shape="box"];423 -> 431[label="",style="solid", color="black", weight=3];
424[label="foldr (++) [] (range0 GT EQ GT : map (range0 GT EQ) [])",fontsize=16,color="black",shape="box"];424 -> 432[label="",style="solid", color="black", weight=3];
425[label="foldr (++) [] (range0 GT GT GT : map (range0 GT GT) [])",fontsize=16,color="black",shape="box"];425 -> 433[label="",style="solid", color="black", weight=3];
426[label="[]",fontsize=16,color="green",shape="box"];427[label="(++) range0 EQ LT GT foldr (++) [] (map (range0 EQ LT) [])",fontsize=16,color="black",shape="box"];427 -> 434[label="",style="solid", color="black", weight=3];
428[label="(++) range00 GT (not (compare3 EQ GT == LT) && GT >= EQ) foldr (++) [] (map (range0 EQ EQ) [])",fontsize=16,color="black",shape="box"];428 -> 435[label="",style="solid", color="black", weight=3];
429[label="(++) range00 GT (not (compare3 EQ GT == LT) && GT >= GT) foldr (++) [] (map (range0 EQ GT) [])",fontsize=16,color="black",shape="box"];429 -> 436[label="",style="solid", color="black", weight=3];
430[label="(++) range00 GT (not (compare1 GT LT (GT <= LT) == LT)) foldr (++) [] (map (range0 GT LT) [])",fontsize=16,color="black",shape="box"];430 -> 437[label="",style="solid", color="black", weight=3];
431[label="(++) (EQ : []) vx5",fontsize=16,color="black",shape="box"];431 -> 438[label="",style="solid", color="black", weight=3];
432[label="(++) range0 GT EQ GT foldr (++) [] (map (range0 GT EQ) [])",fontsize=16,color="black",shape="box"];432 -> 439[label="",style="solid", color="black", weight=3];
433[label="(++) range0 GT GT GT foldr (++) [] (map (range0 GT GT) [])",fontsize=16,color="black",shape="box"];433 -> 440[label="",style="solid", color="black", weight=3];
434[label="(++) range00 GT (EQ >= GT && GT >= LT) foldr (++) [] (map (range0 EQ LT) [])",fontsize=16,color="black",shape="box"];434 -> 441[label="",style="solid", color="black", weight=3];
435[label="(++) range00 GT (not (compare2 EQ GT (EQ == GT) == LT) && GT >= EQ) foldr (++) [] (map (range0 EQ EQ) [])",fontsize=16,color="black",shape="box"];435 -> 442[label="",style="solid", color="black", weight=3];
436[label="(++) range00 GT (not (compare2 EQ GT (EQ == GT) == LT) && GT >= GT) foldr (++) [] (map (range0 EQ GT) [])",fontsize=16,color="black",shape="box"];436 -> 443[label="",style="solid", color="black", weight=3];
437[label="(++) range00 GT (not (compare1 GT LT False == LT)) foldr (++) [] (map (range0 GT LT) [])",fontsize=16,color="black",shape="box"];437 -> 444[label="",style="solid", color="black", weight=3];
438[label="EQ : [] ++ vx5",fontsize=16,color="green",shape="box"];438 -> 445[label="",style="dashed", color="green", weight=3];
439[label="(++) range00 GT (GT >= GT && GT >= EQ) foldr (++) [] (map (range0 GT EQ) [])",fontsize=16,color="black",shape="box"];439 -> 446[label="",style="solid", color="black", weight=3];
440[label="(++) range00 GT (GT >= GT && GT >= GT) foldr (++) [] (map (range0 GT GT) [])",fontsize=16,color="black",shape="box"];440 -> 447[label="",style="solid", color="black", weight=3];
441[label="(++) range00 GT (compare EQ GT /= LT && GT >= LT) foldr (++) [] (map (range0 EQ LT) [])",fontsize=16,color="black",shape="box"];441 -> 448[label="",style="solid", color="black", weight=3];
442[label="(++) range00 GT (not (compare2 EQ GT False == LT) && GT >= EQ) foldr (++) [] (map (range0 EQ EQ) [])",fontsize=16,color="black",shape="box"];442 -> 449[label="",style="solid", color="black", weight=3];
443[label="(++) range00 GT (not (compare2 EQ GT False == LT) && GT >= GT) foldr (++) [] (map (range0 EQ GT) [])",fontsize=16,color="black",shape="box"];443 -> 450[label="",style="solid", color="black", weight=3];
444[label="(++) range00 GT (not (compare0 GT LT otherwise == LT)) foldr (++) [] (map (range0 GT LT) [])",fontsize=16,color="black",shape="box"];444 -> 451[label="",style="solid", color="black", weight=3];
445[label="[] ++ vx5",fontsize=16,color="black",shape="triangle"];445 -> 452[label="",style="solid", color="black", weight=3];
446[label="(++) range00 GT (compare GT GT /= LT && GT >= EQ) foldr (++) [] (map (range0 GT EQ) [])",fontsize=16,color="black",shape="box"];446 -> 453[label="",style="solid", color="black", weight=3];
447[label="(++) range00 GT (compare GT GT /= LT && GT >= GT) foldr (++) [] (map (range0 GT GT) [])",fontsize=16,color="black",shape="box"];447 -> 454[label="",style="solid", color="black", weight=3];
448[label="(++) range00 GT (not (compare EQ GT == LT) && GT >= LT) foldr (++) [] (map (range0 EQ LT) [])",fontsize=16,color="black",shape="box"];448 -> 455[label="",style="solid", color="black", weight=3];
449[label="(++) range00 GT (not (compare1 EQ GT (EQ <= GT) == LT) && GT >= EQ) foldr (++) [] (map (range0 EQ EQ) [])",fontsize=16,color="black",shape="box"];449 -> 456[label="",style="solid", color="black", weight=3];
450[label="(++) range00 GT (not (compare1 EQ GT (EQ <= GT) == LT) && GT >= GT) foldr (++) [] (map (range0 EQ GT) [])",fontsize=16,color="black",shape="box"];450 -> 457[label="",style="solid", color="black", weight=3];
451[label="(++) range00 GT (not (compare0 GT LT True == LT)) foldr (++) [] (map (range0 GT LT) [])",fontsize=16,color="black",shape="box"];451 -> 458[label="",style="solid", color="black", weight=3];
452[label="vx5",fontsize=16,color="green",shape="box"];453[label="(++) range00 GT (not (compare GT GT == LT) && GT >= EQ) foldr (++) [] (map (range0 GT EQ) [])",fontsize=16,color="black",shape="box"];453 -> 459[label="",style="solid", color="black", weight=3];
454[label="(++) range00 GT (not (compare GT GT == LT) && GT >= GT) foldr (++) [] (map (range0 GT GT) [])",fontsize=16,color="black",shape="box"];454 -> 460[label="",style="solid", color="black", weight=3];
455[label="(++) range00 GT (not (compare3 EQ GT == LT) && GT >= LT) foldr (++) [] (map (range0 EQ LT) [])",fontsize=16,color="black",shape="box"];455 -> 461[label="",style="solid", color="black", weight=3];
456[label="(++) range00 GT (not (compare1 EQ GT True == LT) && GT >= EQ) foldr (++) [] (map (range0 EQ EQ) [])",fontsize=16,color="black",shape="box"];456 -> 462[label="",style="solid", color="black", weight=3];
457[label="(++) range00 GT (not (compare1 EQ GT True == LT) && GT >= GT) foldr (++) [] (map (range0 EQ GT) [])",fontsize=16,color="black",shape="box"];457 -> 463[label="",style="solid", color="black", weight=3];
458[label="(++) range00 GT (not (GT == LT)) foldr (++) [] (map (range0 GT LT) [])",fontsize=16,color="black",shape="box"];458 -> 464[label="",style="solid", color="black", weight=3];
459[label="(++) range00 GT (not (compare3 GT GT == LT) && GT >= EQ) foldr (++) [] (map (range0 GT EQ) [])",fontsize=16,color="black",shape="box"];459 -> 465[label="",style="solid", color="black", weight=3];
460[label="(++) range00 GT (not (compare3 GT GT == LT) && GT >= GT) foldr (++) [] (map (range0 GT GT) [])",fontsize=16,color="black",shape="box"];460 -> 466[label="",style="solid", color="black", weight=3];
461[label="(++) range00 GT (not (compare2 EQ GT (EQ == GT) == LT) && GT >= LT) foldr (++) [] (map (range0 EQ LT) [])",fontsize=16,color="black",shape="box"];461 -> 467[label="",style="solid", color="black", weight=3];
462[label="(++) range00 GT (not (LT == LT) && GT >= EQ) foldr (++) [] (map (range0 EQ EQ) [])",fontsize=16,color="black",shape="box"];462 -> 468[label="",style="solid", color="black", weight=3];
463[label="(++) range00 GT (not (LT == LT) && GT >= GT) foldr (++) [] (map (range0 EQ GT) [])",fontsize=16,color="black",shape="box"];463 -> 469[label="",style="solid", color="black", weight=3];
464[label="(++) range00 GT (not False) foldr (++) [] (map (range0 GT LT) [])",fontsize=16,color="black",shape="box"];464 -> 470[label="",style="solid", color="black", weight=3];
465[label="(++) range00 GT (not (compare2 GT GT (GT == GT) == LT) && GT >= EQ) foldr (++) [] (map (range0 GT EQ) [])",fontsize=16,color="black",shape="box"];465 -> 471[label="",style="solid", color="black", weight=3];
466[label="(++) range00 GT (not (compare2 GT GT (GT == GT) == LT) && GT >= GT) foldr (++) [] (map (range0 GT GT) [])",fontsize=16,color="black",shape="box"];466 -> 472[label="",style="solid", color="black", weight=3];
467[label="(++) range00 GT (not (compare2 EQ GT False == LT) && GT >= LT) foldr (++) [] (map (range0 EQ LT) [])",fontsize=16,color="black",shape="box"];467 -> 473[label="",style="solid", color="black", weight=3];
468[label="(++) range00 GT (not True && GT >= EQ) foldr (++) [] (map (range0 EQ EQ) [])",fontsize=16,color="black",shape="box"];468 -> 474[label="",style="solid", color="black", weight=3];
469[label="(++) range00 GT (not True && GT >= GT) foldr (++) [] (map (range0 EQ GT) [])",fontsize=16,color="black",shape="box"];469 -> 475[label="",style="solid", color="black", weight=3];
470[label="(++) range00 GT True foldr (++) [] (map (range0 GT LT) [])",fontsize=16,color="black",shape="box"];470 -> 476[label="",style="solid", color="black", weight=3];
471[label="(++) range00 GT (not (compare2 GT GT True == LT) && GT >= EQ) foldr (++) [] (map (range0 GT EQ) [])",fontsize=16,color="black",shape="box"];471 -> 477[label="",style="solid", color="black", weight=3];
472[label="(++) range00 GT (not (compare2 GT GT True == LT) && GT >= GT) foldr (++) [] (map (range0 GT GT) [])",fontsize=16,color="black",shape="box"];472 -> 478[label="",style="solid", color="black", weight=3];
473[label="(++) range00 GT (not (compare1 EQ GT (EQ <= GT) == LT) && GT >= LT) foldr (++) [] (map (range0 EQ LT) [])",fontsize=16,color="black",shape="box"];473 -> 479[label="",style="solid", color="black", weight=3];
474[label="(++) range00 GT (False && GT >= EQ) foldr (++) [] (map (range0 EQ EQ) [])",fontsize=16,color="black",shape="box"];474 -> 480[label="",style="solid", color="black", weight=3];
475[label="(++) range00 GT (False && GT >= GT) foldr (++) [] (map (range0 EQ GT) [])",fontsize=16,color="black",shape="box"];475 -> 481[label="",style="solid", color="black", weight=3];
476[label="(++) (GT : []) foldr (++) [] (map (range0 GT LT) [])",fontsize=16,color="black",shape="box"];476 -> 482[label="",style="solid", color="black", weight=3];
477[label="(++) range00 GT (not (EQ == LT) && GT >= EQ) foldr (++) [] (map (range0 GT EQ) [])",fontsize=16,color="black",shape="box"];477 -> 483[label="",style="solid", color="black", weight=3];
478[label="(++) range00 GT (not (EQ == LT) && GT >= GT) foldr (++) [] (map (range0 GT GT) [])",fontsize=16,color="black",shape="box"];478 -> 484[label="",style="solid", color="black", weight=3];
479[label="(++) range00 GT (not (compare1 EQ GT True == LT) && GT >= LT) foldr (++) [] (map (range0 EQ LT) [])",fontsize=16,color="black",shape="box"];479 -> 485[label="",style="solid", color="black", weight=3];
480[label="(++) range00 GT False foldr (++) [] (map (range0 EQ EQ) [])",fontsize=16,color="black",shape="box"];480 -> 486[label="",style="solid", color="black", weight=3];
481[label="(++) range00 GT False foldr (++) [] (map (range0 EQ GT) [])",fontsize=16,color="black",shape="box"];481 -> 487[label="",style="solid", color="black", weight=3];
482[label="GT : [] ++ foldr (++) [] (map (range0 GT LT) [])",fontsize=16,color="green",shape="box"];482 -> 488[label="",style="dashed", color="green", weight=3];
483[label="(++) range00 GT (not False && GT >= EQ) foldr (++) [] (map (range0 GT EQ) [])",fontsize=16,color="black",shape="box"];483 -> 489[label="",style="solid", color="black", weight=3];
484[label="(++) range00 GT (not False && GT >= GT) foldr (++) [] (map (range0 GT GT) [])",fontsize=16,color="black",shape="box"];484 -> 490[label="",style="solid", color="black", weight=3];
485[label="(++) range00 GT (not (LT == LT) && GT >= LT) foldr (++) [] (map (range0 EQ LT) [])",fontsize=16,color="black",shape="box"];485 -> 491[label="",style="solid", color="black", weight=3];
486 -> 445[label="",style="dashed", color="red", weight=0];
486[label="(++) [] foldr (++) [] (map (range0 EQ EQ) [])",fontsize=16,color="magenta"];486 -> 492[label="",style="dashed", color="magenta", weight=3];
487 -> 445[label="",style="dashed", color="red", weight=0];
487[label="(++) [] foldr (++) [] (map (range0 EQ GT) [])",fontsize=16,color="magenta"];487 -> 493[label="",style="dashed", color="magenta", weight=3];
488 -> 445[label="",style="dashed", color="red", weight=0];
488[label="[] ++ foldr (++) [] (map (range0 GT LT) [])",fontsize=16,color="magenta"];488 -> 494[label="",style="dashed", color="magenta", weight=3];
489[label="(++) range00 GT (True && GT >= EQ) foldr (++) [] (map (range0 GT EQ) [])",fontsize=16,color="black",shape="box"];489 -> 495[label="",style="solid", color="black", weight=3];
490[label="(++) range00 GT (True && GT >= GT) foldr (++) [] (map (range0 GT GT) [])",fontsize=16,color="black",shape="box"];490 -> 496[label="",style="solid", color="black", weight=3];
491[label="(++) range00 GT (not True && GT >= LT) foldr (++) [] (map (range0 EQ LT) [])",fontsize=16,color="black",shape="box"];491 -> 497[label="",style="solid", color="black", weight=3];
492[label="foldr (++) [] (map (range0 EQ EQ) [])",fontsize=16,color="black",shape="box"];492 -> 498[label="",style="solid", color="black", weight=3];
493[label="foldr (++) [] (map (range0 EQ GT) [])",fontsize=16,color="black",shape="box"];493 -> 499[label="",style="solid", color="black", weight=3];
494[label="foldr (++) [] (map (range0 GT LT) [])",fontsize=16,color="black",shape="box"];494 -> 500[label="",style="solid", color="black", weight=3];
495[label="(++) range00 GT (GT >= EQ) foldr (++) [] (map (range0 GT EQ) [])",fontsize=16,color="black",shape="box"];495 -> 501[label="",style="solid", color="black", weight=3];
496[label="(++) range00 GT (GT >= GT) foldr (++) [] (map (range0 GT GT) [])",fontsize=16,color="black",shape="box"];496 -> 502[label="",style="solid", color="black", weight=3];
497[label="(++) range00 GT (False && GT >= LT) foldr (++) [] (map (range0 EQ LT) [])",fontsize=16,color="black",shape="box"];497 -> 503[label="",style="solid", color="black", weight=3];
498 -> 416[label="",style="dashed", color="red", weight=0];
498[label="foldr (++) [] []",fontsize=16,color="magenta"];499 -> 416[label="",style="dashed", color="red", weight=0];
499[label="foldr (++) [] []",fontsize=16,color="magenta"];500 -> 416[label="",style="dashed", color="red", weight=0];
500[label="foldr (++) [] []",fontsize=16,color="magenta"];501[label="(++) range00 GT (compare GT EQ /= LT) foldr (++) [] (map (range0 GT EQ) [])",fontsize=16,color="black",shape="box"];501 -> 504[label="",style="solid", color="black", weight=3];
502[label="(++) range00 GT (compare GT GT /= LT) foldr (++) [] (map (range0 GT GT) [])",fontsize=16,color="black",shape="box"];502 -> 505[label="",style="solid", color="black", weight=3];
503[label="(++) range00 GT False foldr (++) [] (map (range0 EQ LT) [])",fontsize=16,color="black",shape="box"];503 -> 506[label="",style="solid", color="black", weight=3];
504 -> 507[label="",style="dashed", color="red", weight=0];
504[label="(++) range00 GT (not (compare GT EQ == LT)) foldr (++) [] (map (range0 GT EQ) [])",fontsize=16,color="magenta"];504 -> 508[label="",style="dashed", color="magenta", weight=3];
505[label="(++) range00 GT (not (compare GT GT == LT)) foldr (++) [] (map (range0 GT GT) [])",fontsize=16,color="black",shape="box"];505 -> 509[label="",style="solid", color="black", weight=3];
506 -> 445[label="",style="dashed", color="red", weight=0];
506[label="(++) [] foldr (++) [] (map (range0 EQ LT) [])",fontsize=16,color="magenta"];506 -> 510[label="",style="dashed", color="magenta", weight=3];
508[label="foldr (++) [] (map (range0 GT EQ) [])",fontsize=16,color="black",shape="box"];508 -> 511[label="",style="solid", color="black", weight=3];
507[label="(++) range00 GT (not (compare GT EQ == LT)) vx7",fontsize=16,color="black",shape="triangle"];507 -> 512[label="",style="solid", color="black", weight=3];
509[label="(++) range00 GT (not (compare3 GT GT == LT)) foldr (++) [] (map (range0 GT GT) [])",fontsize=16,color="black",shape="box"];509 -> 513[label="",style="solid", color="black", weight=3];
510[label="foldr (++) [] (map (range0 EQ LT) [])",fontsize=16,color="black",shape="box"];510 -> 514[label="",style="solid", color="black", weight=3];
511 -> 416[label="",style="dashed", color="red", weight=0];
511[label="foldr (++) [] []",fontsize=16,color="magenta"];512[label="(++) range00 GT (not (compare3 GT EQ == LT)) vx7",fontsize=16,color="black",shape="box"];512 -> 515[label="",style="solid", color="black", weight=3];
513[label="(++) range00 GT (not (compare2 GT GT (GT == GT) == LT)) foldr (++) [] (map (range0 GT GT) [])",fontsize=16,color="black",shape="box"];513 -> 516[label="",style="solid", color="black", weight=3];
514 -> 416[label="",style="dashed", color="red", weight=0];
514[label="foldr (++) [] []",fontsize=16,color="magenta"];515[label="(++) range00 GT (not (compare2 GT EQ (GT == EQ) == LT)) vx7",fontsize=16,color="black",shape="box"];515 -> 517[label="",style="solid", color="black", weight=3];
516[label="(++) range00 GT (not (compare2 GT GT True == LT)) foldr (++) [] (map (range0 GT GT) [])",fontsize=16,color="black",shape="box"];516 -> 518[label="",style="solid", color="black", weight=3];
517[label="(++) range00 GT (not (compare2 GT EQ False == LT)) vx7",fontsize=16,color="black",shape="box"];517 -> 519[label="",style="solid", color="black", weight=3];
518[label="(++) range00 GT (not (EQ == LT)) foldr (++) [] (map (range0 GT GT) [])",fontsize=16,color="black",shape="box"];518 -> 520[label="",style="solid", color="black", weight=3];
519[label="(++) range00 GT (not (compare1 GT EQ (GT <= EQ) == LT)) vx7",fontsize=16,color="black",shape="box"];519 -> 521[label="",style="solid", color="black", weight=3];
520[label="(++) range00 GT (not False) foldr (++) [] (map (range0 GT GT) [])",fontsize=16,color="black",shape="box"];520 -> 522[label="",style="solid", color="black", weight=3];
521[label="(++) range00 GT (not (compare1 GT EQ False == LT)) vx7",fontsize=16,color="black",shape="box"];521 -> 523[label="",style="solid", color="black", weight=3];
522[label="(++) range00 GT True foldr (++) [] (map (range0 GT GT) [])",fontsize=16,color="black",shape="box"];522 -> 524[label="",style="solid", color="black", weight=3];
523[label="(++) range00 GT (not (compare0 GT EQ otherwise == LT)) vx7",fontsize=16,color="black",shape="box"];523 -> 525[label="",style="solid", color="black", weight=3];
524[label="(++) (GT : []) foldr (++) [] (map (range0 GT GT) [])",fontsize=16,color="black",shape="box"];524 -> 526[label="",style="solid", color="black", weight=3];
525[label="(++) range00 GT (not (compare0 GT EQ True == LT)) vx7",fontsize=16,color="black",shape="box"];525 -> 527[label="",style="solid", color="black", weight=3];
526[label="GT : [] ++ foldr (++) [] (map (range0 GT GT) [])",fontsize=16,color="green",shape="box"];526 -> 528[label="",style="dashed", color="green", weight=3];
527[label="(++) range00 GT (not (GT == LT)) vx7",fontsize=16,color="black",shape="box"];527 -> 529[label="",style="solid", color="black", weight=3];
528 -> 445[label="",style="dashed", color="red", weight=0];
528[label="[] ++ foldr (++) [] (map (range0 GT GT) [])",fontsize=16,color="magenta"];528 -> 530[label="",style="dashed", color="magenta", weight=3];
529[label="(++) range00 GT (not False) vx7",fontsize=16,color="black",shape="box"];529 -> 531[label="",style="solid", color="black", weight=3];
530[label="foldr (++) [] (map (range0 GT GT) [])",fontsize=16,color="black",shape="box"];530 -> 532[label="",style="solid", color="black", weight=3];
531[label="(++) range00 GT True vx7",fontsize=16,color="black",shape="box"];531 -> 533[label="",style="solid", color="black", weight=3];
532 -> 416[label="",style="dashed", color="red", weight=0];
532[label="foldr (++) [] []",fontsize=16,color="magenta"];533[label="(++) (GT : []) vx7",fontsize=16,color="black",shape="box"];533 -> 534[label="",style="solid", color="black", weight=3];
534[label="GT : [] ++ vx7",fontsize=16,color="green",shape="box"];534 -> 535[label="",style="dashed", color="green", weight=3];
535 -> 445[label="",style="dashed", color="red", weight=0];
535[label="[] ++ vx7",fontsize=16,color="magenta"];535 -> 536[label="",style="dashed", color="magenta", weight=3];
536[label="vx7",fontsize=16,color="green",shape="box"];}

compare2	x y True	= EQ
compare2	x y False	= compare1 x y (x <= y)

compare1	x y True	= LT
compare1	x y False	= compare0 x y otherwise